Found: 15
Select item for more details and to access through your institution.
State of the CArt: evaluating covering array generators at scale.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 301, doi. 10.1007/s10009-024-00745-2
- By:
- Publication type:
- Article
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
RATE: A model‐based testing approach that combines model refinement and test execution.
- Published in:
- Software Testing: Verification & Reliability, 2023, v. 33, n. 2, p. 1, doi. 10.1002/stvr.1835
- By:
- Publication type:
- Article
Evaluation of stereoacuity with a digital mobile application.
- Published in:
- Graefe's Archive of Clinical & Experimental Ophthalmology, 2021, v. 259, n. 9, p. 2843, doi. 10.1007/s00417-021-05195-z
- By:
- Publication type:
- Article
Model‐based hypothesis testing of uncertain software systems.
- Published in:
- Software Testing: Verification & Reliability, 2020, v. 30, n. 2, p. N.PAG, doi. 10.1002/stvr.1730
- By:
- Publication type:
- Article
Design and validation of a C++ code generator from Abstract State Machines specifications.
- Published in:
- Journal of Software: Evolution & Process, 2020, v. 32, n. 2, p. N.PAG, doi. 10.1002/smr.2205
- By:
- Publication type:
- Article
Code‐aware combinatorial interaction testing.
- Published in:
- IET Software (Wiley-Blackwell), 2019, v. 13, n. 6, p. 600, doi. 10.1049/iet-sen.2018.5315
- 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
A systematic literature reviewof the use of formalmethods in medical software systems.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 5, p. 1, doi. 10.1002/smr.1943
- 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
Guest editor's introduction to the special section on tests and proofs.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
T-wise combinatorial interaction test suites construction based on coverage inheritance.
- Published in:
- Software Testing: Verification & Reliability, 2012, v. 22, n. 7, p. 507, doi. 10.1002/stvr.466
- 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