High Assurance Software Testing in Business and DoD.

Mehmet Sahinoglu Coskun Bayrak Timothy Cummings

Published in: Trans. SDPS (2002)

Keyphrases

software testing
high assurance
software systems
software development
test cases
software engineering
test case generation
software reliability
quality assurance
fault localization

source code
enterprise architecture
united states
regression testing
business processes
control flow
data mining
operating system
business process
test generation

fault tolerant
test data generation
integration testing
white box testing
software maintenance
distributed systems
decision making
access control
code coverage

information systems
testing process
high level
software components
development process
knowledge management
open source
multi agent systems
databases