BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × South Africa
1 × South Korea
1 × USA
2 × France
Collaborated with:
A.L.Bonifácio T.H.Yunes C.C.d.Souza N.Matringe R.Rebiha A.d.S.Simão
Talks about:
test (3) schedul (2) problem (2) generat (2) complet (2) method (2) linear (2) hybrid (2) model (2) suit (2)

Person: Arnaldo Vieira Moura

DBLP DBLP: Moura:Arnaldo_Vieira

Contributed to:

SAC 20142014
SEFM 20142014
SAS 20102010
SEFM 20082008
PADL 20002000
SAC 20002000

Wrote 6 papers:

SAC-2014-BonifacioM #on the #testing
On the completeness of test suites (ALB, AVM), pp. 1287–1292.
SEFM-2014-BonifacioM #modelling #testing
Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.
SAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
SEFM-2008-BonifacioMS #generative #modelling #testing
A Generalized Model-Based Test Generation Method (ALB, AVM, AdSS), pp. 139–148.
PADL-2000-YunesMS #approach #hybrid #problem #scalability #scheduling
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems (THY, AVM, CCdS), pp. 293–307.
SAC-2000-YunesMS #problem #scalability #scheduling
Solving Very Large Crew Scheduling Problems to Optimality (THY, AVM, CCdS), pp. 446–451.

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.