2419 search results - page 171 / 484 » A Formal Approach to Software Testing |
110
Voted
IFL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
128
Voted
ADAEUROPE
2007
Springer
15 years 5 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
110
Voted
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
199
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
127
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...