Author:
Bhattacharya Neelesh,El-Mahi Olfat,Duclos Etienne,Beltrame Giovanni,Antoniol Giuliano,Le Digabel Sébastien,Guéhéneuc Yann-Gaël
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Artho, C., Havelund, K., Biere, A., Biere, A.: High-level data races. Journal on Software Testing, Verification & Reliability, STVR (2003)
2. Beltrame, G., Fossati, L., Sciuto, D.: ReSP: a nonintrusive transaction-level reflective MPSoC simulation platform for design space exploration. In: Computer-Aided Design of Integrated Circuits and Systems, pp. 28–40 (2009)
3. Ben-Asher, Y., Farchi, E., Eytani, Y.: Heuristics for finding concurrent bugs. In: Proceedings of the 17th International Symposium on Parallel and Distributed Processing, p. 288.1(2003)
4. Bradbury, J.S., Cordy, J.R., Dingel, J.: Mutation operators for concurrent java (j2se 5.0) 1
5. Briand, L.C., Labiche, Y., Shousha, M.: Stress Testing Real-Time Systems with Genetic Algorithms. In: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation (GECCO 2005), pp. 1021–1028 (2005)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献