Travelled to:1 × Italy
Collaborated with:A.M.Moreira C.Hentz D.Déharbe E.C.B.d.Matos V.d.M.Jr.
Talks about:generat (1) verifi (1) method (1) studi (1) tool (1) test (1) code (1) case (1) use (1)
Person: João B. Souza Neto
DBLP: Neto:Jo=atilde=o_B=_Souza
Contributed to:
2015Wrote 1 papers:
- TAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification
- Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.