Found: 6
Select item for more details and to access through your institution.
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 379, doi. 10.1007/s10009-024-00751-4
- By:
- Publication type:
- Article
Fault‐based test generation for regular expressions by mutation.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 1/2, p. N.PAG, doi. 10.1002/stvr.1664
- By:
- Publication type:
- Article
Rigorous development process of a safety-critical system: from ASM models to Java code.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 247, doi. 10.1007/s10009-015-0394-x
- By:
- Publication type:
- Article
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2900, doi. 10.1093/comjnl/bxv001
- By:
- Publication type:
- Article
Using mutation to assess fault detection capability of model review.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 5-7, p. 629, doi. 10.1002/stvr.1530
- By:
- Publication type:
- Article
A model-driven process for engineering a toolset for a formal method.
- Published in:
- Software: Practice & Experience, 2011, v. 41, n. 2, p. 155, doi. 10.1002/spe.1019
- By:
- Publication type:
- Article