ISSTA
2009
ACM
14 years 6 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
ISSTA
2009
ACM
14 years 6 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ISSTA
2009
ACM
14 years 6 months ago
2009
ACM
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such...
ISSTA
2009
ACM
14 years 6 months ago
2009
ACM
ISSTA
2009
ACM
14 years 6 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
VAMOS
2009
Springer
14 years 6 months ago
2009
Springer
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
VAMOS
2009
Springer
14 years 6 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
VAMOS
2009
Springer
14 years 6 months ago
2009
Springer
Software Product Lines (SPL) and Runtime Adaptation (RTA) have traditionally been distinct research areas addressing different problems and with different communities. Despite the...
SOCO
2009
Springer
14 years 6 months ago
2009
Springer
SOCO
2009
Springer
14 years 6 months ago
2009
Springer
How would a language look like that is specially designed for solving meta-programming problems in the software composition domain? We present requirements for and design of Rascal...