Abstract is missing.
- Model-driven test case design for model-to-model semantics preservationChristopher Gerking, Jan Ladleif, Wilhelm Schäfer. 1-7 [doi]
- A test model for graph database applications: an MDA-based approachRaquel Blanco, Javier Tuya. 8-15 [doi]
- EvoSE: evolutionary symbolic executionMauro Baluda. 16-19 [doi]
- Testing data transformations in MapReduce programsJesús Morán, Claudio de la Riva, Javier Tuya. 20-25 [doi]
- Deterministically testing actor-based concurrent softwarePiet Cordemans, Eric Steegmans, Jeroen Boydens. 26-30 [doi]
- Concurrent software testing in practice: a catalog of toolsSilvana M. Melo, Simone R. S. Souza, Rodolfo A. Silva, Paulo S. L. Souza. 31-40 [doi]
- Bayesian concepts in software testing: an initial reviewDaniel Rodríguez-García, José Javier Dolado, Javier Tuya. 41-46 [doi]