Name
Abstract | ||
|---|---|---|
Modbat makes testing easier by providing a user-friendly modeling language to describe the behavior of systems, from such a model, test cases are generated and executed. Modbat's domain-specific language is based on Scala, its features include probabilistic and non-deterministic transitions, component models with inheritance, and exceptions. We demonstrate the versatility of Modbat by finding a confirmed defect in the currently latest version of Java, and by testing SAT solvers. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/ASE.2015.95 | Automated Software Engineering |
Keywords | Field | DocType |
model-based testing, software test tools, domain-specific language, extended finite-state machines, component-based systems, exception testing | Domain-specific language,Data modeling,Programming language,Scala,Computer science,Modeling language,Theoretical computer science,Model-based testing,Test case,Stateful firewall,Java | Conference |
ISSN | Citations | PageRank |
1527-1366 | 0 | 0.34 |
References | Authors | |
16 | 8 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cyrille Artho | 1 | 588 | 44.46 |
| Martina Seidl | 2 | 685 | 51.78 |
| Quentin Gros | 3 | 9 | 0.93 |
| Eun-Hye Choi | 4 | 39 | 4.00 |
| Takashi Kitamura | 5 | 51 | 6.97 |
| Akira Mori | 6 | 8 | 2.60 |
| Rudolf Ramler | 7 | 304 | 36.20 |
| Yoriyuki Yamagata | 8 | 20 | 7.28 |