From test purposes to formal JPF properties (2015)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1145/2693208.2693241
- Subjects: ENGENHARIA DE SOFTWARE; PROCESSO DE SOFTWARE
- Keywords: formal verification; Java; property specification; software testing
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Software Engineering Notes
- ISSN: 0163-5948
- Volume/Número/Paginação/Ano: v. 40, n. 1, [5 p.], jan. 2015
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de e PASAREANU, Corina S. From test purposes to formal JPF properties. Software Engineering Notes, v. 40, n. ja 2015, p. [5 ], 2015Tradução . . Disponível em: https://doi.org/10.1145/2693208.2693241. Acesso em: 19 abr. 2024. -
APA
Hanazumi, S., Melo, A. C. V. de, & Pasareanu, C. S. (2015). From test purposes to formal JPF properties. Software Engineering Notes, 40( ja 2015), [5 ]. doi:10.1145/2693208.2693241 -
NLM
Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/2693208.2693241 -
Vancouver
Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/2693208.2693241 - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- A classification of test purposes based on testable properties
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
Informações sobre o DOI: 10.1145/2693208.2693241 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
