( en | de | ru )

 

Disambiguation of "Rojas, José Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
Special issue on mutation testing and analysis.

, , , and . Softw. Test. Verification Reliab., (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jose Rojas

José Miguel Simian

Enrique José Garralaga Rojas

José Alejandro Rojas-Chapana

Miguel Rojas-Chaves

 

Other publications of authors with the same name

Automated Extraction of Abstract Behavioural Models from JMS Applications., , and . FMICS, volume 7437 of Lecture Notes in Computer Science, page 16-31. Springer, (2012)Is Search-Based Unit Test Generation Research Stuck in a Local Optimum?, and . SBST@ICSE, page 51-52. IEEE, (2017)Automatic Inference of Bounds on Resource Consumption., , , , , , , , , and 2 other author(s). FMCO, volume 7866 of Lecture Notes in Computer Science, page 119-144. Springer, (2012)Teaching Software Testing Concepts Using a Mutation Testing Game., , and . ICSE-SEET, page 33-36. IEEE Computer Society, (2017)Software Testing., and . Handbook of Software Engineering, Springer, (2019)Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency., , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 263-309. Springer, (2014)Code Defenders: A Mutation Testing Game., and . ICST Workshops, page 162-167. IEEE Computer Society, (2016)Teaching Software Testing with a Mutation Testing Game., and . PPIG, page 23. Psychology of Programming Interest Group, (2016)On the feasibility and challenges of synthesizing executable Espresso tests., , , and . AST@ICSE, page 92-102. ACM/IEEE, (2022)Preface to the CLEI 2023 Special Issue., , and . CLEI Electron. J., (2024)