Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Corina S. PĂsĂreanu
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Symbolic Execution for JavaScript
Testing and Model-Checking Techniques for Diagnosis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model-Checking for Abstracting Inevitability Modalities Over Transient States
International Journal of Control and Automation
Control
Systems Engineering
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
Shortest Counterexamples for Symbolic Model Checking of LTL With Past
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
