What Went Wrong: Explaining Counterexamples | Zendy

Alex Groce | Zendy; Willem Visser | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

What Went Wrong: Explaining Counterexamples

Author(s) -

Alex Groce,

Willem Visser

Publication year - 2003

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-40117-2

DOI - 10.1007/3-540-44829-2_8

Subject(s) - counterexample , computer science , trace (psycholinguistics) , key (lock) , source code , identification (biology) , programming language , algorithm , theoretical computer science , computer security , discrete mathematics , philosophy , linguistics , mathematics , botany , biology

One of the chief advantages of model checking is the production of counterexamples demonstrating that a system does not satisfy a specification. However, it may require a great deal of human effort to extract the essence of an error from even a detailed source-level trace of a failing run. We use an automated method for finding multiple versions of an error (and similar executions that do not produce an error), and analyze these executions to produce a more succinct description of the key...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research