2419 search results - page 189 / 484 » A Formal Approach to Software Testing |
133
Voted
ISSE
2010
15 years 2 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
182
Voted
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
128
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
121
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
129
Voted
SPLC
2008
15 years 5 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...