568 search results - page 7 / 114 » FAST - An Automatic Generation System for Grammar Tests |
RSP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
ATAL
2010
Springer
14 years 9 months ago
2010
Springer
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
106
click to vote
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
112
click to vote
ISSTA
1998
ACM
15 years 1 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...