article · SHILAP Revista de lepidopterología · 2014

Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification

Ramírez-de León Edgar Darío, Chávez-Bosquez Oscar, Francisco-León Julián Javier

Cited by 0Open access

Abstract

XJML (Ramírez et al., 2012) is a modular external platform for Verification and Validation of Java classes using the Java Modeling Language (JML) through contracts written in XML. One problem faced in the XJML development was how to integrate Full Static Program Verification (FSPV). This paper presents the experiments and results that allowed us to define what tool to embed in XJML to execute FSPV.

Cite this paper

APA 7

Darío, R.-D. L. E., Oscar, C.-B., & Javier, F.-L. J. (2014). Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification. SHILAP Revista de lepidopterología.

MLA 9

Darío, Ramírez-de León Edgar, et al. “Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification.” SHILAP Revista de lepidopterología, 2014.

Chicago

Darío, Ramírez-de León Edgar, Chávez-Bosquez Oscar, and Francisco-León Julián Javier. 2014. “Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification.” SHILAP Revista de lepidopterología.

Harvard

Darío, R.-D.L.E., Oscar, C.-B. and Javier, F.-L.J. (2014) ‘Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification’, SHILAP Revista de lepidopterología.

BibTeX

@article{dario2014empirical,
  title = {{Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification}},
  author = {Darío, Ramírez-de León Edgar and Oscar, Chávez-Bosquez and Javier, Francisco-León Julián},
  journal = {SHILAP Revista de lepidopterología},
  year = {2014}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.