230 search results - page 18 / 46 » A formal analysis of requirements-based testing |
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
ENTCS
2008
13 years 8 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
COMPSAC
1999
IEEE
14 years 29 days ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...