8398 search results - page 20 / 1680 » Optimal Software Testing |
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
SSIRI
2010
13 years 8 months 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...
ICSE
2007
IEEE-ACM
14 years 10 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...