verification

Articles

Testing code Hybrid Verification: Mixing Formal Methods and Testing

The ability to verify contracts either statically or dynamically, coupled with recent advances in proof technology, has opened up a new and promising approach to verification. Critical code can be proved with formal methods, and less critical code can be verified using traditional testing, with a clear separation at the interfaces between the two.

Ben Brosgol
An Uncomfortable Truth about Agile Testing

One characteristic of agile development is continuous involvement from testers throughout the process. Testers have a hard and busy job. Jeff has finally starting to understand why testing in agile development is fundamentally different.

Jeff Patton

Better Software Magazine Articles

Automating Requirements Traceability

Developing software to meet users' specific needs can be a difficult task. Verification and validation activities can help ensure that you are building the right software right.

Bill Councill

StickyMinds is a TechWell community.

Through conferences, training, consulting, and online resources, TechWell helps you develop and deliver great software every day.