28 search results - page 5 / 6 » Towards a precise description of reverse engineering methods... |
ICST
2008
IEEE
14 years 5 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
FM
1997
Springer
13 years 10 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
ASWSD
2004
Springer
13 years 11 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
ICWS
2007
IEEE
13 years 7 months ago
2007
IEEE
Web services are designed to standardize interactions between heterogeneous applications using Internet technologies. Within the framework of Internet search technologies, Web ser...
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...