2419 search results - page 90 / 484 » A Formal Approach to Software Testing |
FM
1999
Springer
14 years 14 days ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
ITICSE
2003
ACM
14 years 1 months ago
2003
ACM
In this paper we argue that treating “testing” as an isolated topic is a wrong approach in computer science and software engineering teaching. Instead testing should pervade p...
IEEEARES
2010
IEEE
14 years 16 days ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...