1100 search results - page 23 / 220 » An Approach to Test Aspect-oriented Programs |
143
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
174
click to vote
ESORICS
2012
Springer
13 years 4 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
109
click to vote
SNPD
2004
15 years 3 months ago
2004
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
129
click to vote
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
148
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...