383 search results - page 41 / 77 » Testing Concurrent Systems: A Formal Approach |
109
Voted
IFL
2004
Springer
15 years 8 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...
197
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...
125
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
146
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
119
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...