Registro:

Referencias:

• Dennis, G., Yessenov, K., Jackson, D., Bounded verication of voting software (2008) VSTTE 2008, pp. 130-145. , Toronto, Canada, October
• Clarke, E., Kroening, D., Lerda, F., A tool for checking ANSI-C programs (2004) TACAS 2004, pp. 168-176. , LNCS (2988), Barcelona, Spain
• Clarke, E., Kroening, D., Sharygina, N., Yorav, K., SATABS: SAT-based Predicate abstraction for ANSI-C (2005) TACAS 2005, pp. 570-574. , LNCS (3440), Edinburgh, UK
• Dennis, G., Chang, F., Jackson, D., Modular verication of code with SAT (2006) ISSTA06, pp. 109-120. , In
• Dolby, J., Vaziri, M., Tip, F., Finding bugs efficiently with a SAT solver (2007) ESEC/FSE'07, pp. 195-204. , ACM Press
• Jackson, D., Vaziri, M., Finding bugs with a constraint solver (2000) ISSTA00, pp. 14-25. , Portland, Oregon, USA
• Xie, Y., Aiken, A., Saturn: A scalable framework for error detection using Boolean satisfiability (2007) ACM TOPLAS, 29 (3), pp. 351-363
• Een, N., Sorensson, N., An extensible SAT-Solver (2004) LNCS, 2919, pp. 502-518. , In
• Goldberg, E., Novikov, Y., BerkMin: A fast and robust SAT-Solver (2002) Proceedings of the Conference on Design, Automation and Test in Europe, pp. 142-149. , IEEE Computer Society
• Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S., Chaff: Engineering an efcient SAT solver (2001) Proceedings of the 38th Conference on Design Automation, pp. 530-535. , In, Rabaey J. (ed.). ACM Press: Las Vegas, Nevada, United States
• Galeotti, J., Rosner, N., Lopez Pombo, C., Frias, M., Analysis of invariants for efficient bounded verification (2010) ISSTA 2010, pp. 25-36. , Trento, Italy
• Leavens, G., Baker, A., Ruby, C., Preliminary design of JML: A behavioural interface specification language for Java (2006) ACM Software Engineering Notes, 31 (3), pp. 1-38. , May;
• Yessenov, K., (2009) A Light-weight Specification Language for Bounded Program Verification, , MIT MEng Thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, May
• Frias, M.F., Galeotti, J.P., Lopez Pombo, C.G., Aguirre, N., DynAlloy: Upgrading alloy with actions (2005) ICSE'05, pp. 442-450. , St. Louis, Missuori, USA
• Jackson, D., Alloy: A lightweight object modelling notation (2002) ACM Transactions on Software Engineering and Methodology, 11, pp. 256-290
• Jackson, D., (2006) Software Abstractions, , MIT Press: Cambridge, MA, USA
• Jackson, D., (2002) A Micromodels of Software: Lightweight Modelling and Analysis with Alloy, , MIT Laboratory for Computer Science: Cambridge, MA, USA
• Cormen, T., Leiserson, C., Rivest, R., Stein, C., (2009) Introduction to Algorithms (3ed.), , MIT Press: Cambridge, MA, USA
• Visser, W., Pǎsǎreanu, C.S., Pelánek, R., Test input generation for java containers using state matching (2006) ISSTA 2006, pp. 37-48. , Portland, Maine, USA
• Bendersky, P., (2010) Hacia un Entorno Integrado Para la Verificaciõn de Contratos Utilizando SAT Solvers, , Masters Thesis, Universidad de Buenos Aires
• Chalin, P., James, P., Lee, J., Karabotsos, G., Robby, Towards an industrial grade IVE for java and next generation research platform for JML (2009) Technical Report SAnToS-TR2009-10-01, , Department of Computing and Information Sciences, Kansas State University
• Ivančic̈, F., Yang, Z., Ganai, M.K., Gupta, A., Shlyakhter, I., Ashar, P., F-Soft: Software verification platform (2005) CAV'05, pp. 301-306
• Dennis, G., (2009) A Relational Framework for Bounded Program Verification, , MIT PhD Thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, July
• Müller, P., Ruskiewicz, J., Using debuggers to understand failed verification attempts (2011) Formal Methods (FM) 2011, pp. 73-87. , Lero, Limerick, Ireland
• Cuervo Parrino, B., Galeotti, J.P., Garbervetsky, D., Frias, M., A dataflow analysis to improve SAT-based program verification (2011) SEFM 2011: Software Engineering and Formal Methods, pp. 138-153. , Waringstown, UK
• Abad, P., Aguirre, N., Bengolea, V., Ciolek, D., Frias, M.F., Galeotti, J., Maibaum, T., Vissani, I., Improving test generation under rich contracts by tight bounds and incremental SAT solving (2013) ICST 2013, International Conference on Software Testing, Luxemburg, pp. 21-30
• Fraser, G., Arcuri, A., EvoSuite: Automatic test suite generation for object-oriented software (2011) Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 416-419. , New York, NY, USA
• Zimmermann, T., Zeller, A., Visualizing memory graphs (2001) Software Visualization, pp. 191-204. , Dagstuhl, Germany

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------