| Bridging the gap between ML solutions and their business requirements using feature interactions. | 2 | 0.37 | 2019 |
| A Composition-Based Method for Combinatorial Test Design | 1 | 0.36 | 2017 |
| Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. | 4 | 0.44 | 2016 |
| A Visual Logical Language for System Modelling in Combinatorial Test Design. | 0 | 0.34 | 2016 |
| Teaching Logic to Information Systems Students: Challenges and Opportunities | 2 | 0.39 | 2015 |
| Exploring the Role of Logic and Formal Methods in Information Systems Education. | 1 | 0.35 | 2015 |
| Special issue on testing, analysis and debugging of concurrent programs | 0 | 0.34 | 2015 |
| Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. | 7 | 0.61 | 2015 |
| Using Wiki as a Collaboration Platform for Software Requirements and Design | 1 | 0.36 | 2014 |
| Combinatorial Testing with Order Requirements | 4 | 0.44 | 2014 |
| Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings | 9 | 0.64 | 2013 |
| Using Projections to Debug Large Combinatorial Models | 4 | 0.39 | 2013 |
| Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools | 3 | 0.39 | 2012 |
| Using program closures to make an application programming interface (API) implementation thread safe | 2 | 0.38 | 2012 |
| The study of resource allocation among software development phases: an economics-based approach | 2 | 0.40 | 2011 |
| Using binary decision diagrams for combinatorial test design | 48 | 1.83 | 2011 |
| Practical verification of high-level dataraces in transactional memory programs | 3 | 0.43 | 2011 |
| Engaging Stakeholders in Globally Distributed Software Development Processes. | 0 | 0.34 | 2010 |
| Unit testing for concurrent business code | 0 | 0.34 | 2010 |
| Detection of Transactional Memory anomalies using static analysis | 6 | 0.49 | 2010 |
| Forcing small models of conditions on program interleaving for detection of concurrent bugs | 10 | 0.56 | 2009 |
| Cross-Entropy-Based Replay of Concurrent Programs | 3 | 0.41 | 2009 |
| Advanced code coverage analysis using substring holes | 6 | 0.74 | 2009 |
| Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 | 9 | 0.76 | 2009 |
| Automated Substring Hole Analysis | 2 | 0.48 | 2009 |
| Selective Homeworkless Reviews | 3 | 0.50 | 2008 |
| SeeCode --- A Code Review Plug-in for Eclipse | 0 | 0.34 | 2008 |
| 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08) | 0 | 0.34 | 2008 |
| Pitfalls in teaching development and testing of concurrent programs and how to overcome them | 0 | 0.34 | 2008 |
| Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008 | 10 | 1.61 | 2008 |
| The advantages of post-link code coverage | 1 | 0.37 | 2007 |
| Cross-Entropy Based Testing | 7 | 0.48 | 2007 |
| Distributed Desk Checking | 1 | 0.35 | 2007 |
| Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007 | 8 | 1.28 | 2007 |
| Choosing among Alternative Pasts | 6 | 0.48 | 2007 |
| Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs | 12 | 0.65 | 2006 |
| Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006 | 9 | 0.96 | 2006 |
| Formal verification of concurrent software: two case studies | 3 | 0.41 | 2006 |
| Producing scheduling that causes concurrent programs to fail | 10 | 0.57 | 2006 |
| Compact Representations Of Search In Complex Domains | 2 | 0.39 | 2005 |
| Effective Testing and Debugging Techniques for a Group Communication System | 1 | 0.36 | 2005 |
| Assisting the code review process using simple pattern recognition | 3 | 0.45 | 2005 |
| Applications of synchronization coverage | 35 | 1.37 | 2005 |
| Optimal algorithmic debugging and reduced coverage using search in structured domains | 0 | 0.34 | 2005 |
| Fidgeting to the Point of No Return | 5 | 0.45 | 2004 |
| Concurrent Bug Patterns and How to Test Them | 122 | 4.10 | 2003 |
| Heuristics for Finding Concurrent Bugs | 13 | 0.64 | 2003 |
| Framework For Testing Multi-Threaded Java Programs | 70 | 4.42 | 2003 |
| Automatic query refinement using lexical affinities with maximal information gain. | 0 | 0.34 | 2002 |
| Static index pruning for information retrieval systems | 119 | 10.22 | 2001 |
