Programming and Computing Software
Survey of compiler testing methods
Programming and Computing Software
yagg: an easy-to-use generator for structured test inputs
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Generation of Positive and Negative Tests for Parsers
Programming and Computing Software
Extended interface grammars for automated stub generation
Proceedings of the second workshop on Automated formal methods
Client and server verification for web services using interface grammars
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Embeddable framework for syntax-safe source code generation
Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments
Automated generation of positive and negative tests for parsers
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Hi-index | 0.00 |