Author:
Uva Marcelo,Ponzio Pablo,Regis Germán,Aguirre Nazareno,Frias Marcelo F.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference38 articles.
1. Replication Package for Automated Workarounds from Java Program Specifications Based on SAT Solving.
http://dc.exa.unrc.edu.ar/staff/naguirre/sat-workarounds/
. Accessed 30 July 2018
2. Abad, P., Aguirre, N., Bengolea, V.S., Ciolek, D., Frias, M.F., Galeotti, J.P., Maibaum, T., Moscato, M.M., Rosner, N., Vissani, I.: Improving test generation under rich contracts by tight bounds and incremental SAT solving. In: Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013), Luxembourg, 18–22 Mar 2013, pp. 21–30. IEEE Computer Society (2013)
3. Belt, J., Xianghua, D.: Sireum/topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. In: van Vliet H., Issarny V. (eds.) Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering 2009, Amsterdam, 24–28 Aug 2009, pp. 355–364. ACM (2009)
4. Carzaniga, A., Gorla, A., Mattavelli, A., Perino, N., Pezzè, M.: Automatic recovery from runtime failures. In: Notkin D., Cheng B.H.C., Pohl K. (eds.) 35th International Conference on Software Engineering (ICSE ’13), San Francisco, CA, pp. 782–791, 18–26 May 2013. IEEE Computer Society (2013)
5. Carzaniga, A., Gorla, A., Perino, N., Pezzè, M.: Automatic workarounds for web applications. In: Roman G.-C., van der Hoek A. (eds.) Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, 7–11 Nov 2010, pp. 237–246. ACM (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software quality tools and techniques presented in FASE’17;International Journal on Software Tools for Technology Transfer;2018-09-03