Login / Signup
Structural Testing for Semaphore-Based Multithread Programs.
Felipe S. Sarmanho
Paulo Sergio Lopes de Souza
Simone do Rocio Senger de Souza
Adenilso da Silva Simão
Published in:
ICCS (1) (2008)
Keyphrases
</>
symbolic execution
structural information
test generation
concurrent programs
structural features
databases
programming environment
test cases
database
computer programs
evolutionary algorithm
software testing
website
structural analysis
decision making
control structures
real world