Author:
Jones Neil D.,Müller-Olm Markus
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference7 articles.
1. Verification, model checking, and abstract interpretation. In: Jones, N.D., Müller-Olm, M. (eds.) 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18–20, 2009. Proceedings, vol. 5403 of Lecture Notes in Computer Science, Springer (2009)
2. Kidd, N., Vaziri, M., Dolby, J., Reps, T.: Finding concurrency-related bugs using random isolation. Int. J. Softw. Tools Technol. Transf. (2011). doi: 10.1007/s10009-011-0197-7 (this volume)
3. Tiwari, A., Taly, A., Gulwani, S.: Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. (2010). doi: 10.1007/s10009-010-0172-8 (this volume)
4. Etessami, K., Godefroid, P.: An abort-aware model of transactional programming. Int. J. Softw. Tools Technol. Transf. (2011). doi: 10.1007/s10009-011-0203-0 (this volume)
5. Rutkowski, M., Lazić, R., Jurdziński, M.: Average-price-per-reward games on hybrid automata with strong resets. Int. J. Softw. Tools Technol. Transf. (2010). doi: 10.1007/s10009-010-0180-8 (this volume)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献