Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paul Thomson
The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing
ACM SIGPLAN Notices
Computer Science
Asynchronous Programming, Analysis and Testing With State Machines
Related publications
Partial Order Aware Concurrency Sampling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Constrained Dynamic Partial Order Reduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improving Dynamic Partial Order Reductions for Concolic Testing
Partial-Order Reduction for General State Exploring Algorithms
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Partial Order Reduction in Directed Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
JWalk: A Tool for Lazy, Systematic Testing of Java Classes by Design Introspection and User Interaction
Automated Software Engineering
Software
What Happens Before, During and After Crisis for Someone With Dementia Living at Home: A Systematic Review
Dementia
Medicine
Sociology
Social Sciences
Political Science
History
Partial-Order Reduction and Trail Improvement in Directed Model Checking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Testing Treatments: Better Research for Better Healthcare (2nd Edn)
Journal of Family Planning and Reproductive Health Care
