Experiments in Automated Analysis of Concurrent Software Systems.
George S. AvruninJack C. WiledenLaura K. DillonPublished in: Symposium on Testing, Analysis, and Verification (1989)
Keyphrases
- software systems
- automated analysis
- source code
- software engineering
- biomedical imaging
- visual analysis
- software design
- software maintenance
- software components
- software development
- software architecture
- video analysis
- multi agent systems
- software testing
- software engineers
- functional requirements
- software projects
- linux kernel
- decision making
- databases
- vocal cord
- development effort
- software evolution
- software quality
- artificial intelligence