Abstract | ||
---|---|---|
Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ICSTW.2008.47 | ICST Workshops |
Keywords | Field | DocType |
program testing,program verification,random processes,search engines,search problems,state-space methods,bugbear,guided random search,internal verification search engine,model checking,ranSPIN,random-walk based simulator,state space | Random search,Data structure,Algorithm design,Model checking,Computer science,Automaton,Algorithm,Theoretical computer science,Memory management,State space,Formal verification | Conference |
Citations | PageRank | References |
1 | 0.35 | 17 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thang H. Bui | 1 | 10 | 5.39 |
Albert Nymeyer | 2 | 106 | 9.98 |