Name
Abstract | ||
|---|---|---|
This position paper discusses the challenges and opportunities of applying search-based techniques to a formal environment of abstract state machines defined using a language called Event-B. Event-B is based on a formal abstract machine notation that has a mature tool support and gets continuous feedback from industry. Although search-based techniques recently developed for extended finite state machines may be adapted to this context, new challenges such as implicit states, non-determinism, non-numerical data types and hierarchical models are still to be solved for test data generation for Event-B models. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1109/ICSTW.2011.41 | Software Testing, Verification and Validation Workshops |
Keywords | Field | DocType |
event-b model,towards search-based testing,continuous feedback,non-numerical data type,implicit state,event-b models,formal environment,search-based technique,test data generation,abstract state machine,formal abstract machine notation,extended finite state machine,abstract state machines,b method,software engineering,hierarchical model,model checking,set theory,testing,abstract machine,embedded system,finite state machines,software testing,computational modeling,model based testing,programming languages,unified modeling language,context modeling,formal method,data models,software systems,system modeling,theorem proving | Data modeling,Computer science,Abstract state machines,Context model,Theoretical computer science,Finite-state machine,Model-based testing,Data type,Test data generation,Abstract machine | Conference |
ISBN | Citations | PageRank |
978-0-7695-4345-1 | 1 | 0.37 |
References | Authors | |
17 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alin Stefanescu | 1 | 209 | 17.79 |
| Florentin Ipate | 2 | 419 | 43.20 |
| Raluca Lefticaru | 3 | 188 | 17.69 |
| Cristina Tudose | 4 | 25 | 3.46 |