Travelled to:
1 × Portugal
1 × United Kingdom
Collaborated with:
A.Sampaio F.A.Barros A.Mota Bruno Oliveira M.R.Mousavi A.Carvalho A.Cavalcanti D.Falcão L.Motta M.R.Blackburn
Talks about:
languag (3) requir (3) natur (3) test (3) case (2) base (2) generat (1) system (1) specif (1) hybrid (1)
Person: Gustavo Carvalho
DBLP: Carvalho:Gustavo
Contributed to:
Wrote 3 papers:
- SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
- NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
- SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing
- Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
- CASE-2017-OliveiraCMS #hybrid #requirements #simulation
- Simulation of hybrid systems from natural-language requirements (BO, GC, MRM, AS), pp. 1320–1325.