Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

• On-the-fly unfolding with optimal exploration for linear temporal logic model checking of concurrent software and systems

  2025 Automated Software Engineering article Computer Science Formal Methods in Verification

  0

  citations
• Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation

  2025 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

  0

  citations
• The digest framework: concurrency-sensitivity for abstract interpretation

  2024 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

  7

  citations
• Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs

  2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

  1

  citations
• Static Data Race Detection via Lazy Sequentialization

  2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

  2

  citations
• Dynamic Partial Order Reduction Based on Interference Solution

  2023 Research Square preprint Engineering Real-time simulation and control systems Open access

  0

  citations
• Depth-First Net Unfoldings and Equivalent Reduction

  2023 Symmetry article Computer Science Petri Nets in System Modeling Open access

  1

  citations
• Psym: Efficient Symbolic Exploration of Distributed Systems

  2023 Proceedings of the ACM on Programming Languages article Computer Science Software System Performance and Reliability Open access

  1

  citations
• Analysis of Concurrent Systems Based on Interval Order

  2023 Preprints.org preprint Computer Science Petri Nets in System Modeling Open access

  0

  citations
• Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed

  2023 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  1

  citations
• Controlled concurrency testing via periodical scheduling

  2022 Proceedings of the 44th International Conference on Software Engineering conference-paper Computer Science Parallel Computing and Optimization Techniques

  29

  citations
• Achieving High MAP-Coverage Through Pattern Constraint Reduction

  2022 IEEE Transactions on Software Engineering article Computer Science Software Testing and Debugging Techniques

  3

  citations
• Quasi-optimal partial order reduction

  2020 Formal Methods in System Design article Chemistry Mass Spectrometry Techniques and Applications

  7

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  15

  citations
• Quasi-Optimal Partial Order Reduction

  2018 Lecture notes in computer science conference-paper Chemistry Mass Spectrometry Techniques and Applications Open access

  23

  citations

15 results

• Quasi-Optimal Partial Order Reduction

  2018 Lecture notes in computer science conference-paper Chemistry Mass Spectrometry Techniques and Applications Open access

  23

  citations
• Causal Dataflow Analysis for Concurrent Programs

  2007 Springer eBooks conference-paper Computer Science Logic, programming, and type systems

  22

  citations
• YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement

  2018 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  19

  citations
• Abstract Interpretation with Unfoldings

  2017 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  17

  citations
• Data-centric Dynamic Partial Order Reduction

  2016 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  17

  citations
• Testing multithreaded programs via thread speed control

  2018 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) conference-paper Computer Science Software Testing and Debugging Techniques

  17

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  15

  citations
• Unfolding based automated testing of multithreaded programs

  2014 Automated Software Engineering article Computer Science Software Testing and Debugging Techniques

  15

  citations
• A Framework to Synergize Partial Order Reduction with State Interpolation

  2014 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  15

  citations
• Optimal context-sensitive dynamic partial order reduction with observers

  2019 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) conference-paper Computer Science Formal Methods in Verification

  9

  citations
• Unfolding-based Partial Order Reduction

  2015 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  8

  citations
• Quasi-optimal partial order reduction

  2020 Formal Methods in System Design article Chemistry Mass Spectrometry Techniques and Applications

  7

  citations
• Symbolic Liveness Analysis of Real-World Software

  2018 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

  6

  citations
• Concurrent Program Verification with Invariant-Guided Underapproximation

  2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  5

  citations