Travelled to:1 × Austria
1 × Belgium
1 × Denmark
1 × Italy
1 × USA
Collaborated with:M.Gómez-Zamalloa E.Albert G.Fraser A.Arcuri P.Arenas G.Puebla M.J.G.d.l.Banda P.J.Stuckey S.Shamshiri R.Just P.McMinn
Talks about:generat (7) test (7) case (4) base (4) clp (4) unit (2) constraint (1) framework (1) composit (1) challeng (1)
Person: José Miguel Rojas
DBLP: Rojas:Jos=eacute=_Miguel
Contributed to:
2015
2014
2013
201220112010
2015Wrote 7 papers:
- ISSTA-2015-RojasFA #automation #development #empirical #generative #testing
- Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
- SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing
- Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
- ICLP-J-2013-AlbertBGRS #generative #testing
- A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
- LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing
- A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
- LOPSTR-2011-AlbertGR #generative #testing
- Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
- LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing
- Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
- ASE-2015-ShamshiriJRFMA #automation #challenge #effectiveness #empirical #fault #testing
- Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T) (SS, RJ, JMR, GF, PM, AA), pp. 201–211.