1996
DOI: 10.1109/32.538605
|View full text |Cite
|
Sign up to set email alerts
|

Elements of style: analyzing a software design feature with a counterexample detector

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
57
0
1

Year Published

1996
1996
2014
2014

Publication Types

Select...
4
4
2

Relationship

0
10

Authors

Journals

citations
Cited by 117 publications
(62 citation statements)
references
References 24 publications
0
57
0
1
Order By: Relevance
“…§ Confirmar que una especificación operacional satisface especificaciones más abstractas, o generar contraejemplos de comportamiento por el modelo algorítmico de las técnicas de comprobación [21][22][23]. § Generar contraejemplos de las afirmaciones de una especificación declarativa [24]. § Generar escenarios concretos que ilustren características deseadas o no deseadas de la especificación [25], o inferir inductivamente la especificación de escenarios [26].…”
Section: Ventajas De La Formalizaciónunclassified
“…§ Confirmar que una especificación operacional satisface especificaciones más abstractas, o generar contraejemplos de comportamiento por el modelo algorítmico de las técnicas de comprobación [21][22][23]. § Generar contraejemplos de las afirmaciones de una especificación declarativa [24]. § Generar escenarios concretos que ilustren características deseadas o no deseadas de la especificación [25], o inferir inductivamente la especificación de escenarios [26].…”
Section: Ventajas De La Formalizaciónunclassified
“…by putting a bound on the number of aircrafts involved. This implicitly appeals to Daniel Jackson's Small Scope Hypothesis [24] saying that the vast majority of flaws in a system can be found by exhaustively testing all input parameters within some small scope of values. This work also exploits data structures and algorithms for efficient reachability analysis over Petri nets or similar globally asynchronous, locally synchronous systems [5].…”
Section: The Special Sectionmentioning
confidence: 99%
“…This verification approach is a form of bounded verification [17]. Researchers have argued and experimentally shown that checking all inputs within a small scope can effectively detect a high portion of bugs and achieve high statement and branch coverage [5,12,19,38].…”
Section: Introductionmentioning
confidence: 99%