2419 search results - page 300 / 484 » A Formal Approach to Software Testing |
100
click to vote
KBS
2007
15 years 3 months ago
2007
In this paper we present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing a game. The game incorporates both the design model and a...
173
click to vote
TC
2010
14 years 10 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
163
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
148
Voted
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
153
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...