1100 search results - page 35 / 220 » An Approach to Test Aspect-oriented Programs |
114
click to vote
ECCC
2010
15 years 15 days ago
2010
In this paper we study polynomial identity testing of sums of k read-once algebraic branching programs (Σk-RO-ABPs), generalizing the work of Shpilka and Volkovich [1, 2], who co...
100
Voted
ENTCS
2002
15 years 1 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
130
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
121
click to vote
ICIW
2008
IEEE
15 years 8 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...