AMOST
2007
ACM
15 years 1 months ago
2007
ACM
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
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...
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
101
click to vote
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
114
click to vote
AOSD
2009
ACM
15 years 1 months ago
2009
ACM
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...
EDBTW
2010
Springer
15 years 1 months ago
2010
Springer
EDBTW
2010
Springer
15 years 1 months ago
2010
Springer
EUROMICRO
1998
IEEE
15 years 1 months ago
1998
IEEE
UIST
1990
ACM
15 years 1 months ago
1990
ACM
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...