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 full text

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
2019English

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

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

Privacy PolicyRefund Policy