Software Testing and Verification

This research area encompasses methods for testing and verifying software functionality, design, and behavior. It includes studies on finite-state machines and various testing approaches to ensure software reliability.

software testing
verification
finite-state machines
fault localization
reliability

13,594 papers

Parent topic: Software Engineering and Practices

AI-assisted content · The overview, paper groupings, and influence analysis on this page are AI-generated. They are intended as a starting point for exploring the field and may contain inaccuracies. Report an error

Papers Over Time

191019201930194019501960197019801990200020102020

Top Papers