Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1 2010
DOI: 10.1145/1806799.1806835
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: We present an approach for describing tests using nondeterministic test generation programs. To write test generation programs, we introduce UDITA, a Java-based language with non-deterministic choice operators and an interface for generating linked structures. We also describe new algorithms that generate concrete tests by efficiently exploring the space of all executions of non-deterministic UDITA programs.We implemented our approach and incorporated it into the official, publicly available repository of Java… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
115
0

Year Published

2010
2010
2018
2018

Publication Types

Select...
5
2

Relationship

2
5

Authors

Journals

citations
Cited by 131 publications
(115 citation statements)
references
References 57 publications
0
115
0
Order By: Relevance
“…As further discussed in Section 9, generators are also employed by other test input generation approaches, such as UDITA [Gligoric et al 2010]. In our context, domain-specific generators can be executed in pre-or postprocessing steps where existing values of the input data are replaced with properly generated values.…”
Section: Threats To Validitymentioning
confidence: 99%
See 1 more Smart Citation
“…As further discussed in Section 9, generators are also employed by other test input generation approaches, such as UDITA [Gligoric et al 2010]. In our context, domain-specific generators can be executed in pre-or postprocessing steps where existing values of the input data are replaced with properly generated values.…”
Section: Threats To Validitymentioning
confidence: 99%
“…An efficient black-box test generation technique is UDITA [Gligoric et al 2010]. What contributes to the efficiency of UDITA is the combination of both generator methods and predicates.…”
Section: Related Workmentioning
confidence: 99%
“…Dinkelaker et al integrate a 3-valued logic language into the advice language [10], which is advantageous for analyses that reason with boolean abstractions at runtime like Java PathFinder [26]. Aspects that augment a program for test generation could be extended with domain-specific constructs for non-deterministic choice [12]. The possibility to specify new keywords for pointcut and advice enables shorter, analysis-specific pointcut and advice definitions [1].…”
Section: Aspect Deploymentmentioning
confidence: 99%
“…They are evaluated by meta objects for pointcut and advice (13), guided by the weaving callback. Pointcut and advice are instantiated through extensible evaluators (12), which interpret aspects and scoping strategies, for enabling the embedding of domain-specific pointcut and advice languages. Finally, aspect deployment is performed by a user-defined method at (11), which modifies the corresponding aspect environment.…”
Section: Language Interfacementioning
confidence: 99%
See 1 more Smart Citation