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: Software Engineering Notes
- ISSN: 0163-5948
- Volume/Número/Paginação/Ano: v. 40, n. 1, [5 p.], jan. 2015
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
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: 07 abr. 2026. -
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 2026 abr. 07 ] 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 2026 abr. 07 ] Available from: https://doi.org/10.1145/2693208.2693241 - An architectural pattern to implement business rules in information systems
- An aproach for the verification of multi-agent systems by formally guided simulations
- Behaviorist agent architecture
- PiStache: implementing π-calculus in scala
- On the composition of Java frameworks control-flows
- On the algebraic reuse of hardware design
- Testing Java exceptions: an instrumentation technique
- On the testability of properties patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- From active names to π-calculus rewriting rules
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
