1 | -- | 5 | Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov. Exploring Underdetermined Specifications using Java PathFinder |
1 | -- | 5 | Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk. StateComparator: Detecting Unbounded Variables Using JPF |
1 | -- | 6 | Yorah Bosse, Marco Aurélio Gerosa. Why is programming so difficult to learn?: Patterns of Difficulties Related to Programming Learning Mid-Stage |
1 | -- | 6 | Jorge Echeverria. Research on Augmenting the MDD Process with Variability Modeling |
1 | -- | 5 | Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe. Java Pathfinder on Android Devices |
1 | -- | 4 | Daniela Castelluccia, Enrico Giacinto Caldarola, Nicola Boffoli. Environmental Big Data: a systematic mapping study |
1 | -- | 5 | Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric. Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java |
1 | -- | 6 | Cleyton V. C. de Magalhães. Toward Understanding Work Characteristics in Software Engineering |
1 | -- | 5 | Päivi Raulamo-Jurvanen. Decision Support for Selecting Tools for Software Test Automation |
1 | -- | 5 | Junye Wen, Guowei Yang. Staged Symbolic Execution for Parallel Property Checking |
1 | -- | 5 | Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu. Symbolic Arrays in Symbolic PathFinder |
1 | -- | 5 | Ana Carolina Oran. A Set of Artifacts and Models to Support Requirements Communication Based on Perspectives |
1 | -- | 5 | Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid. Towards Exhaustive Testing of Websites using JPF |
1 | -- | 6 | Sultan M. Al Khatib, Joost Noppen. Benchmarking and Comparison of Software Project Human Resource Allocation Optimization Approaches |
1 | -- | 5 | Rody Kersten, Martin Schäf, Temesghen Kahsai. Resource Contracts for Java |
1 | -- | 6 | Ronnie E. S. Santos. Uses, Benefits, and Limitations of Job Rotation in Software Engineering |
5 | -- | 6 | Alex Groce. Passages |
7 | -- | 15 | Mark Doernhoefer. Surfing the Net for Software Engineering Notes |
16 | -- | 23 | Peter G. Neumann. Risks to the Public |
24 | -- | 26 | Matthias Galster, Mehdi Mirakhorli, Nenad Medvidovic. Bringing Architecture Thinking into Developers' Daily Activities |
27 | -- | 30 | Matthias Galster, Uwe Zdun, Danny Weyns, Rick Rabiser, Bo Zhang, Michael Goedicke, Gilles Perrouin. Variability and Complexity in Software Design: Towards a Research Agenda |