| 1 | -- | 5 | Heila van der Merwe, Brink van der Merwe, Willem Visser. Execution and property specifications for JPF-android |
| 1 | -- | 5 | Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya. A Knoppix-based demonstration environment for JPF |
| 1 | -- | 5 | Kasper Søe Luckow, Corina S. Pasareanu. Symbolic PathFinder v7 |
| 1 | -- | 8 | Rani Geetika, Paramvir Singh. Empirical investigation into static and dynamic coupling metrics |
| 1 | -- | 5 | Harsh Bhasin. Artificial life and cellular automata based automated test case generator |
| 1 | -- | 6 | Umesh Tiwari, Santosh Kumar. Cyclomatic complexity metric for component based software |
| 1 | -- | 9 | A. Ananda Rao, P. Radhika Raju. Optimization of program invariants |
| 1 | -- | 5 | Corrina Gibson, Robert Karban, Luigi Andolfato, John Day. Formal validation of fault management design solutions |
| 1 | -- | 12 | Jitender Choudhari, Ugrasen Suman. Extended iterative maintenance life cycle using eXtreme programming |
| 1 | -- | 4 | Tung Thanh Nguyen, Anh Tuan Nguyen, Tien N. Nguyen. Topic-based, time-aware bug assignment |
| 1 | -- | 5 | Scott Kausler, Elena Sherman. User-defined backtracking criteria for symbolic execution |
| 1 | -- | 4 | Antonio Brogi, Ahmad Ibrahim, Jacopo Soldani, José Carrasco, Javier Cubo, Ernesto Pimentel, Francesco D'Andria. SeaClouds: a European project on seamless management of multi-cloud applications |
| 1 | -- | 5 | Yojna Arora, Abhishek Singhal, Abhay Bansal. PREDICTION & WARNING: a method to improve student's performance |
| 1 | -- | 5 | Matteo Ceccarello, Oksana Tkachuk. Automated generation of model classes for Java PathFinder |
| 1 | -- | 5 | Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person. Towards a lazier symbolic pathfinder |
| 1 | -- | 5 | Eric F. Rizzi, Matthew B. Dwyer, Sebastian G. Elbaum. Safely reducing the cost of unit level symbolic execution through read/write analysis |
| 1 | -- | 5 | Ruchika Malhotra, Anushree Agrawal. CMS tool: calculating defect and change data from software project repositories |
| 1 | -- | 5 | Jakub Daniel, Pavel Parizek, Corina S. Pasareanu. Predicate abstraction in Java Pathfinder |
| 1 | -- | 5 | Eric Noonan, Eric Mercer, Neha Rungta. Vector-clock based partial order reduction for JPF |
| 1 | -- | 2 | Lucia, David Lo, Giuseppe Scanniello, Alessandro Marchetto, Nasir Ali, Collin McMillan. Leveraging machine learning and information retrieval techniques in software evolution tasks: summary of the first MALIR-SE workshop, at ASE 2013 |
| 1 | -- | 5 | Nikita Yadav, Sujata Khatri, V. B. Singh. Developing an intelligent cloud for higher education |
| 1 | -- | 4 | Manjula Peiris, James H. Hill. Towards detecting software performance anti-patterns using classification techniques |
| 1 | -- | 5 | Zeeshan Anwar, Ali Ahsan. Exploration and analysis of regression test suite optimization |
| 1 | -- | 5 | Nastaran Shafiei, Peter C. Mehlitz. Extending JPF to verify distributed systems |
| 1 | -- | 5 | Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara. Automated testing for Java programs using JPF-based test case generation |
| 1 | -- | 7 | Peter Anderson, Brandon Chase, Eric Mercer. JPF verification of habanero Java programs |
| 1 | -- | 4 | Roger Doss. Return value adapter pattern |
| 1 | -- | 4 | Abhinandan H. Patil, Nandini Sidnal. CodeCover: enhancement of CodeCover |
| 1 | -- | 6 | Kanchana Rajaram, Chitra Babu. Deriving reliable compositions using cancelable web services |
| 6 | -- | 7 | Alex Groce. Passages |
| 7 | -- | 0 | Robert Schaefer. A usenet for a new age |
| 8 | -- | 16 | Mark Doernhoefer. Surfing the net for software engineering notes |
| 17 | -- | 23 | Peter G. Neumann. Risks to the public |
| 24 | -- | 27 | Xavier Franch, Nazim H. Madhavji, Bill Curtis, Larry Votta. 1st international workshop on conducting empirical studies in industry (CESI 2013): post-workshop report |
| 28 | -- | 30 | Shah Rukh Humayoun, Steffen Hess, Achim Ebert. Report from the workshop on prototyping to support the interaction designing in mobile application development (PID-MAD 2013) |
| 31 | -- | 35 | Jonathan L. Krein, Charles D. Knutson, Christian Bird. Report from the 3rd International Workshop on Replication in Empirical Software Engineering Research (RESER 2013) |
| 36 | -- | 38 | Patricia Lago, Niklaus Meyer, Maurizio Morisio, Hausi A. Müller, Giuseppe Scanniello. Leveraging "energy efficiency to software users": summary of the second GREENS workshop, at ICSE 2013 |
| 47 | -- | 0 | Vasile G. Teodorovici. Definitive XML schema, second edition by Priscilla Walmsley |
| 47 | -- | 0 | William Del Ra III. Letting go of words: writing web contents that work by Janice (Ginny) Redish |
| 48 | -- | 49 | Nick Watts. Learning jQuery by Ralph Steyer |
| 48 | -- | 0 | Vasile G. Teodorovici. Practical object-oriented design in ruby: an agile primer by Sandi Metz |
| 49 | -- | 0 | Igor Gvero. The Java EE 6 Tutorial, 4th edition: advanced topics by Eric Jendrock, Ricardo Cervera-Navarro, Ian Evans, Devika Gollapudi, Kim Haase, William Markito, and Chinmayee Srivathsa |