1 | -- | 7 | Santonu Sarkar, Gargi Alavani. How Easy it is to Write Software for Heterogeneous Systems? |
1 | -- | 7 | Christopher Theisen, Marcel Dunaiski, Laurie Williams, Willem Visser. Software Engineering Research at the International Conference on Software Engineering in 2016 |
1 | -- | 5 | Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer. Shadow Symbolic Execution with Java PathFinder |
1 | -- | 9 | Preeti Satish, Peri Nikhil, Krishnan Rangarajan. A Test Prioritization Algorithm That Cares for "Don't Care" Values and Higher Order Combinatorial Coverage |
1 | -- | 13 | Ianegitz Vieira, Alexandre Alvaro. A Centralized Platform of Open Government Data as Support to Applications in the Smart Cities Context |
1 | -- | 5 | Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran. Consistency-Aware Scheduling for Weakly Consistent Programs |
1 | -- | 5 | Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser. Veritesting Challenges in Symbolic Execution of Java |
1 | -- | 5 | Reed M. Milewicz, Simon Poulding. Scalable Parallel Model Checking via Monte-Carlo Tree Search |
1 | -- | 5 | Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric. JPR: Replaying JPF Traces Using Standard JVM |
5 | -- | 6 | Alex Groce. Passages |
6 | -- | 9 | Hong Mei. A Review of Software Engineering Research in China |
10 | -- | 17 | Peter G. Neumann. Risks to the Public |
18 | -- | 20 | Marco Kuhrmann, Jürgen Münch, Paolo Tell, Philipp Diebold. Summary of the 1st International Workshop on Hybrid Development Approaches in Software Systems Development |
21 | -- | 24 | Marsha Chechik, Davide Di Ruscio. Report from the 9th Workshop on Modelling in Software Engineering(MiSE 2017) |
25 | -- | 27 | Swarup Kumar Mohalik, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Meenakshi D'Souza. Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India |
28 | -- | 31 | Markus Borg, Elizabeth Bjarnason, Michael Unterkalmsteiner, Tingting Yu, Gregory Gay, Michael Felderer. Summary of the 4th International Workshop on Requirements Engineering and Testing (RET 2017) |
32 | -- | 34 | Sebastian Götz, Christian Piechnick, Andreas Wortmann. Report on the 4th International Workshop on Model-driven Robot Software Engineering (MORSE) |
35 | -- | 37 | Matthias Galster, Danny Weyns, Michael Goedicke, Uwe Zdun, Jácome Cunha, Jaime Chavarriaga. Variability and Complexity in Software Design: Towards Quality through Modeling and Testing |