BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Carvalho:Gustavo

Contributed to:

SEFM 20152015
SAC 20132013
CASE 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.