AMOST
2007
ACM
13 years 12 months ago
2007
ACM
AMOST
2007
ACM
13 years 12 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
13 years 12 months ago
2007
ACM
AMOST
2007
ACM
13 years 12 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...
AMOST
2007
ACM
13 years 12 months ago
2007
ACM
AOSD
2009
ACM
13 years 12 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
13 years 12 months ago
2010
Springer
EDBTW
2010
Springer
13 years 12 months ago
2010
Springer
EUROMICRO
1998
IEEE
13 years 12 months ago
1998
IEEE
UIST
1990
ACM
13 years 12 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...