Observations in using parallel and sequential evolutionary algorithms for automatic software testing
From MaRDI portal
Publication:2482366
DOI10.1016/j.cor.2007.01.016zbMath1152.68696MaRDI QIDQ2482366
Enrique Alba, Francisco Chicano
Publication date: 16 April 2008
Published in: Computers \& Operations Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cor.2007.01.016
68W10: Parallel algorithms in computer science
Uses Software
Cites Work
- Scatter search in software testing, comparison and collaboration with estimation of distribution algorithms
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Programming as a Discipline of Mathematical Nature
- An axiomatic basis for computer programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item