8398 search results - page 20 / 1680 » Optimal Software Testing |
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
118
click to vote
SSIRI
2010
15 years 15 days ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
101
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...