Sciweavers

4895 search results - page 386 / 979
» Tools for Grammar Engineering
Sort
View
173
Voted
KBSE
2008
IEEE
16 years 1 months ago
MTSA: The Modal Transition System Analyser
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
Nicolás D'Ippolito, Dario Fischbein, Marsha...
KBSE
2008
IEEE
16 years 1 months ago
A Case Study on the Automatic Composition of Network Application Mashups
MaxMash is a tool that can compose select features of networked application and generate the source code for application mashups that can integrate those features. This paper pres...
Maxim Shevertalov, Spiros Mancoridis
KBSE
2008
IEEE
16 years 1 months ago
VCR: Virtual Capture and Replay for Performance Testing
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
Antonia Bertolino, Guglielmo De Angelis, Antonino ...
162
Voted
KBSE
2008
IEEE
16 years 1 months ago
Semi-Automating Pragmatic Reuse Tasks
Developers undertaking a pragmatic reuse task must collect and reason about information that is spread throughout the source code of a system before they can understand the scope ...
Reid Holmes, Robert J. Walker
KBSE
2008
IEEE
16 years 1 months ago
Program Analysis with Dynamic Precision Adjustment
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...