Sciweavers

2302 search results - page 6 / 461
» Testing as Abstraction
Sort
View
ICST
2010
IEEE
15 years 2 months ago
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Daniele Grasso, Alessandro Fantechi, Alessio Ferra...
ASWSD
2006
Springer
15 years 8 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
ICST
2010
IEEE
15 years 2 months ago
TestFul: An Evolutionary Test Approach for Java
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
AOSD
2008
ACM
15 years 6 months ago
AspectT: aspect-oriented test case instantiation
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
Sebastian Benz