Generalized Symbolic Execution for Model Checking and Testing

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-36577-x_40

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Automated Regression Testing Using Symbolic Execution

Elektronika ir Elektrotechnika
Electronic EngineeringElectrical
2011English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Conformant Planning via Symbolic Model Checking

Journal of Artificial Intelligence Research
Artificial Intelligence
2000English

Symbolic Execution for JavaScript

2018English

Testing and Model-Checking Techniques for Diagnosis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Symbolic Model-Checking for Abstracting Inevitability Modalities Over Transient States

International Journal of Control and Automation
ControlSystems Engineering
2017English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS
2019Catalan

Shortest Counterexamples for Symbolic Model Checking of LTL With Past

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy