Problem identification for structural test generation: first step towards cooperative developer testing Read more about Problem identification for structural test generation: first step towards cooperative developer testing
Precise Identification of Problems for Structural Test Generation Read more about Precise Identification of Problems for Structural Test Generation
Covana: Precise Identification of Problems in Pex Read more about Covana: Precise Identification of Problems in Pex
User-aware privacy control via extended static-information-flow analysis Read more about User-aware privacy control via extended static-information-flow analysis
Inferring Method Specifications from Natural Language API Descriptions Read more about Inferring Method Specifications from Natural Language API Descriptions
Automated extraction of security policies from natural-language software documents Read more about Automated extraction of security policies from natural-language software documents
Advances on Improving Automation in Developer Testing Read more about Advances on Improving Automation in Developer Testing
WHYPER: Towards Automating Risk Assessment of Mobile Applications Read more about WHYPER: Towards Automating Risk Assessment of Mobile Applications
Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks Read more about Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks
Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution Read more about Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution
