The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing

ACM SIGPLAN Notices - United States
doi 10.1145/2858788.2688533
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Partial Order Aware Concurrency Sampling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Constrained Dynamic Partial Order Reduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Improving Dynamic Partial Order Reductions for Concolic Testing

2012English

Partial-Order Reduction for General State Exploring Algorithms

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2008English

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

JWalk: A Tool for Lazy, Systematic Testing of Java Classes by Design Introspection and User Interaction

Automated Software Engineering
Software
2007English

What Happens Before, During and After Crisis for Someone With Dementia Living at Home: A Systematic Review

Dementia
MedicineSociologySocial SciencesPolitical ScienceHistory
2020English

Partial-Order Reduction and Trail Improvement in Directed Model Checking

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

Testing Treatments: Better Research for Better Healthcare (2nd Edn)

Journal of Family Planning and Reproductive Health Care
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy