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 × Brazil
1 × Denmark
1 × The Netherlands
1 × Vietnam
2 × France
2 × Portugal
2 × USA
2 × United Kingdom
Collaborated with:
A.Sampaio C.Bertolini R.Ramos A.Farias P.Borba H.Rebêlo R.M.F.Lima C.A.L.Oliveira M.Ribeiro G.Carvalho F.A.Barros A.Didier J.Woodcock E.Aranha C.Ferraz G.Peres M.d'Amorim A.Carvalho A.Cavalcanti D.Falcão L.Motta M.R.Blackburn U.Kulesza C.Sant'Anna R.Coelho
Talks about:
test (6) model (4) check (4) techniqu (3) evalu (3) gui (3) csp (3) contract (2) abstract (2) languag (2)

Person: Alexandre Mota

DBLP DBLP: Mota:Alexandre

Contributed to:

SEFM 20152015
SEFM 20142014
SAC 20132013
SEKE 20122012
SEKE 20112011
ICST 20102010
FM 20092009
ICST 20092009
SEFM 20092009
SAC 20082008
IFM 20042004
FME 20022002
FASE 19981998
FASE 19982001

Wrote 14 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.
SEFM-2014-MotaFDW #agile #model checking #prototype #semantics
Rapid Prototyping of a Semantically Well Founded Circus Model Checker (AM, AF, AD, JW), pp. 235–249.
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.
SEKE-2012-RebeloLMOR #aspect-oriented #contract #source code
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
SEKE-2011-RebeloLKSCMRO #aspect-oriented #contract #design #impact analysis
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study (HR, RMFL, UK, CS, RC, AM, MR, CALO), pp. 450–455.
ICST-2010-BertoliniMAF #evaluation #testing #user interface
GUI Testing Techniques Evaluation by Designed Experiments (CB, AM, EA, CF), pp. 235–244.
FM-2009-RamosSM #component #development
Systematic Development of Trustworthy Component Systems (RR, AS, AM), pp. 140–156.
ICST-2009-BertoliniPdM #automation #black box #empirical #evaluation #testing #user interface
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (CB, GP, Md, AM), pp. 21–30.
SEFM-2009-BertoliniM #model checking #probability #testing #user interface #using
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques (CB, AM), pp. 115–124.
SAC-2008-RamosSM #composition #consistency #framework #refinement
Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
IFM-2004-FariasMS #abstraction #performance
Efficient CSPZ Data Abstraction (AF, AM, AS), pp. 108–127.
FME-2002-MotaBS #abstraction #process
Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.
FASE-1998-MotaS #model checking
Model-Checking CSP-Z (AM, AS), pp. 205–220.
FASE-J-1998-MotaS01 #industrial #model checking #tool support
Model-checking CSP-Z: strategy, tool support and industrial application (AM, AS), pp. 59–96.

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.