| The Java Pathfinder Workshop 2019 | 0 | 0.34 | 2020 |
| Java Pathfinder at SV-COMP 2019 (Competition Contribution) | 0 | 0.34 | 2019 |
| Method summaries for JPF | 0 | 0.34 | 2019 |
| COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. | 0 | 0.34 | 2019 |
| Model-Based Testing Of The Java Network Api | 1 | 0.35 | 2017 |
| Automated Dataset Construction from Web Resources with Tool Kayur | 0 | 0.34 | 2017 |
| Greedy combinatorial test case generation using unsatisfiable cores. | 10 | 0.50 | 2016 |
| Java Pathfinder on Android Devices. | 0 | 0.34 | 2016 |
| Classification of Randomly Generated Test Cases | 0 | 0.34 | 2016 |
| Distance-Integrated Combinatorial Testing | 1 | 0.36 | 2016 |
| Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study | 3 | 0.40 | 2016 |
| Guiding random test generation with program analysis. | 1 | 0.49 | 2016 |
| Precondition Coverage in Software Testing | 0 | 0.34 | 2016 |
| Runtime Monitoring For Concurrent Systems | 0 | 0.34 | 2016 |
| Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. | 1 | 0.35 | 2016 |
| GRT at the SBST 2015 tool competition | 9 | 0.62 | 2015 |
| Priority Integration for Weighted Combinatorial Testing | 4 | 0.44 | 2015 |
| Using Checkpointing and Virtualization for Fault Injection | 0 | 0.34 | 2015 |
| Static analysis meets runtime verification (NII Shonan Meeting 2015-5). | 0 | 0.34 | 2015 |
| GRT: An Automated Test Generator Using Orchestrated Program Analysis | 11 | 0.52 | 2015 |
| Model-Based Testing of Stateful APIs with Modbat | 0 | 0.34 | 2015 |
| Optimization of Combinatorial Testing by Incremental SAT Solving | 7 | 0.44 | 2015 |
| Combinatorial Testing for Tree-Structured Test Models with Constraints | 4 | 0.45 | 2015 |
| GRT: Program-Analysis-Guided Random Testing (T) | 22 | 0.70 | 2015 |
| Domain-Specific Languages with Scala. | 2 | 0.36 | 2015 |
| Software Model Checking of UDP-based Distributed Applications. | 0 | 0.34 | 2015 |
| Cardinality of UDP Transmission Outcomes. | 0 | 0.34 | 2015 |
| A Knoppix-based demonstration environment for JPF | 0 | 0.34 | 2014 |
| Design of Prioritized N-Wise Testing. | 2 | 0.42 | 2014 |
| Efficient testing of software product lines via centralization (short paper) | 2 | 0.41 | 2014 |
| Using Checkpointing and Virtualization for Fault Injection | 0 | 0.34 | 2014 |
| Project centralization based on graph coloring | 1 | 0.36 | 2014 |
| The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. | 1 | 0.36 | 2013 |
| Modbat: A Model-Based API Tester for Event-Driven Systems. | 15 | 0.71 | 2013 |
| With an Open Mind: How to Write Good Models. | 2 | 0.39 | 2013 |
| Analyzing Distributed Java Applications by Automatic Centralization | 5 | 0.45 | 2013 |
| Model-Based Testing for Verification Back-Ends. | 6 | 0.46 | 2013 |
| Implementation Of A Memory Disclosure Attack On Memory Deduplication Of Virtual Machines | 6 | 0.50 | 2013 |
| Why do software packages conflict? | 13 | 0.61 | 2012 |
| Memory deduplication as a threat to the guest OS | 50 | 2.07 | 2011 |
| Sources of Inter-package Conflicts in Debian | 2 | 0.37 | 2011 |
| Model checking distributed systems by combining caching and process checkpointing | 5 | 0.53 | 2011 |
| Run-time verification of networked software | 0 | 0.34 | 2010 |
| Moving from logical sharing of guest OS to physical sharing of deduplication on virtual machine | 8 | 0.74 | 2010 |
| Separation of Transitions, Actions, and Exceptions in Model-Based Testing | 2 | 0.39 | 2009 |
| Introduction of Virtualization Technology to Multi-Process Model Checking. | 0 | 0.34 | 2009 |
| Cache-Based Model Checking of Networked Applications: From Linear to Branching Time | 12 | 1.21 | 2009 |
| Verifying networked programs using a model checker extension | 3 | 0.45 | 2009 |
| Efficient Model Checking of Networked Applications | 15 | 0.88 | 2008 |
| Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs | 0 | 0.34 | 2008 |
