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: Mota:Alexandre
Contributed to:
20152014
2013
20122011
2010
2009200920092008
20042002
19982001Wrote 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.