Towards a Theory for Integration of Mathematical Verification and Empirical Testing

Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design

FMSP '00 Proceedings of the third workshop on Formal methods in software practice

Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design

Automated Software Engineering

When to Test Less

IEEE Software

The Strangest Thing About Software

Computer

Defect prediction from static code features: current results, limitations, new approaches

Automated Software Engineering

On the value of learning from defect dense components for software defect prediction

Proceedings of the 6th International Conference on Predictive Models in Software Engineering

How good is your blind spot sampling policy

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering