455 search results - page 15 / 91 » Directed test generation using symbolic grammars |
89
Voted
CIARP
2009
Springer
15 years 4 months ago
2009
Springer
Many tasks can be described by sequences of actions that normally exhibit some form of structure and that can be represented by a grammar. This paper introduces FOSeq, an algorithm...
COMSIS
2010
14 years 7 months ago
2010
The focus of this paper is on crafting a new visual language for attribute grammars (AGs), and on the development of the associated programming environment. We present a solution f...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...