Travelled to:1 × Austria
1 × Czech Republic
1 × Finland
1 × India
1 × Luxembourg
1 × Poland
1 × Singapore
1 × Switzerland
1 × Uruguay
2 × Italy
4 × USA
4 × United Kingdom
Collaborated with:M.F.Frias T.S.E.Maibaum P.Ponzio R.Degiovanni G.Regis V.S.Bengolea P.F.Castro N.Rosner J.P.Galeotti N.D'Ippolito T.Maibaum R.Demasi D.Alrajeh C.L.Pombo N.Ricci S.Khurshid M.Politano M.M.Moscato S.Uchitel D.Marinov C.Kilmurray A.Acosta W.Visser F.Molina J.H.Siddiqui A.Wassyng G.Baum A.Godio M.F.Frias M.Uva M.Nordio H.Estler B.Meyer R.Prikladnicki E.D.Nitto A.Savidis S.A.Khalek C.Cornejo S.G.Brida F.Raverta J.P.Galeotti P.Abad D.Ciolek I.Vissani
Talks about:base (9) specif (8) system (7) alloy (7) test (7) tempor (6) generat (5) logic (5) bound (5) exhaust (4)
Person: Nazareno Aguirre
DBLP: Aguirre:Nazareno
Contributed to:
2015
2015
2014
20142014
2014
2013
2013
2013
2012
20112011
200920072005200320032002
20022016
2016
20172018201920172019Wrote 28 papers:
- ICSE-v1-2015-RegisDDA #logic #specification
- Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
- TACAS-2015-DemasiCRMA #fault tolerance #named #source code #specification
- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications (RD, PFC, NR, TSEM, NA), pp. 188–193.
- CSEET-2014-NordioEMAPNS #coordination #distributed #education #empirical #re-engineering
- An experiment on teaching coordination in a globally distributed software engineering class (MN, HCE, BM, NA, RP, EDN, AS), pp. 109–118.
- FM-2014-PonzioRAF #bound #performance
- Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
- ICSE-2014-DegiovanniAAU #automation #satisfiability
- Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
- OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
- Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
- ASE-2013-RosnerSAKF #alloy #analysis #clustering #modelling #named #parallel
- Ranger: Parallel analysis of alloy models by range partitioning (NR, JHS, NA, SK, MFF), pp. 147–157.
- ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
- Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
- IFM-2013-DemasiCMA #fault tolerance #simulation
- Characterizing Fault-Tolerant Systems by Means of Simulation Relations (RD, PFC, TSEM, NA), pp. 428–442.
- TAP-2012-BengoleaAMF #bound #test coverage #testing #using
- Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
- SEFM-2011-CastroKAA #branch #fault tolerance #logic #named #verification
- dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (PFC, CK, AA, NA), pp. 106–121.
- TAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing
- Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
- TAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing
- Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
- FASE-2009-AguirreFMMW #alloy #behaviour #specification #using
- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (NA, MFF, MMM, TSEM, AW), pp. 155–170.
- IFM-2007-AguirreRM #community #design #verification
- Verifying Temporal Properties of CommUnity Designs (NA, GR, TSEM), pp. 1–20.
- ICSE-2005-FriasGPA #alloy #named
- DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.
- FASE-2003-AguirreM #component #configuration management #logic #specification
- A Logical Basis for the Specification of Reconfigurable Component-Based Systems (NA, TSEM), pp. 37–51.
- FME-2003-FriasPBAM #alloy
- Taking Alloy to the Movies (MFF, CLP, GB, NA, TSEM), pp. 678–697.
- ASE-2002-AguirreM #approach #component #configuration management #logic #specification
- A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems (NA, TSEM), pp. 271–274.
- CBSE-2002-AguirreM #approach #component #logic #reasoning #specification
- A Temporal Logic Approach to Component–Based System Specification and Reasoning (NA, TM), p. 11.
- ASE-2016-DegiovanniRACA #detection #satisfiability
- Goal-conflict detection based on temporal satisfiability checking (RD, NR, DA, PFC, NA), pp. 507–518.
- FSE-2016-PonzioAFV #testing
- Field-exhaustive testing (PP, NA, MFF, WV), pp. 908–919.
- ESEC-FSE-2017-RegisCBPRPAGF #alloy #analysis #behaviour #modelling #specification
- DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour (GR, CC, SGB, MP, FR, PP, NA, JPG, MFF), pp. 969–973.
- ESEC-FSE-2017-RegisDDA #lts #named
- CLTSA: labelled transition system analyser with counting fluent support (GR, RD, ND, NA), pp. 979–983.
- ASE-2018-DegiovanniMRA #algorithm #identification #search-based
- A genetic algorithm for goal-conflict identification (RD, FM, GR, NA), pp. 520–531.
- ASE-2019-GodioBPAF #generative #performance #test coverage #testing
- Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
- FASE-2017-UvaPRAF #automation #java #satisfiability #specification
- Automated Workarounds from Java Program Specifications Based on SAT Solving (MU, PP, GR, NA, MFF), pp. 356–373.
- FASE-2019-PonzioBPAF #api #automation #identification
- Automatically Identifying Sufficient Object Builders from Module APIs (PP, VSB, MP, NA, MFF), pp. 427–444.