Sciweavers

AMOST
2007
ACM
15 years 1 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...
AMOST
2007
ACM
15 years 1 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
AMOST
2007
ACM
15 years 1 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
AMOST
2007
ACM
15 years 1 months ago
Test purpose generation in an industrial application
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard...
AOSD
2009
ACM
15 years 1 months ago
The dataflow pointcut: a formal and practical framework
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, ...
71
Voted
EDBTW
2010
Springer
15 years 1 months ago
Updating relational data via SPARQL/update
Matthias Hert, Gerald Reif, Harald Gall
70
Voted
UIST
1990
ACM
15 years 1 months ago
Glyphs: flyweight objects for user interfaces
Current user interface toolkits provide components that are complex and expensive. Programmers cannot use these components for many kinds of application data because the resulting...
Paul R. Calder, Mark A. Linton