Inmaculada Medina-Bulo

According to our database1, Inmaculada Medina-Bulo authored at least 75 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Coverage-based quality metric of mutation operators for test suite improvement.
Software Quality Journal, 2019

Evolutionary mutation testing for IoT with recorded and generated events.
Softw., Pract. Exper., 2019

On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures.
J. UCS, 2019

Test Event Generation for a Fall-Detection IoT System.
IEEE Internet of Things Journal, 2019

An evolutionary hybrid search heuristic for monitor placement in communication networks.
J. Heuristics, 2019

Evaluation of EPL mutation operators with the MuEPL mutation system.
Expert Syst. Appl., 2019

Using Genetic Algorithms to Generate Test Suites for FSMs.
Proceedings of the Advances in Computational Intelligence, 2019

Software testing: cost reduction in Industry 4.0.
Proceedings of the 14th International Workshop on Automation of Software Test, 2019

Using constraint solvers to support metamorphic testing.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018
Evaluation of Mutation Testing in a Nuclear Industry Case Study.
IEEE Trans. Reliability, 2018

IoT-TEG: Test event generator system.
Journal of Systems and Software, 2018

Performance mutation testing: Hypothesis and open questions.
Information & Software Technology, 2018

Search-based mutant selection for efficient test suite improvement: Evaluation and results.
Information & Software Technology, 2018

On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks.
Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Combining Case-Based Reasoning with Complex Event Processing for Network Traffic Classification.
Proceedings of the Case-Based Reasoning Research and Development, 2018

Search-based mutation testing to improve performance tests.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Test suite minimization for mutation testing of WS-BPEL compositions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017
Assessment of C++ object-oriented mutation operators: A selective mutation approach.
Softw. Test., Verif. Reliab., 2017

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184].
Information & Software Technology, 2017

Assessment of class mutation operators for C++ with the MuCPP mutation system.
Information & Software Technology, 2017

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes.
Algorithms, 2017

GiGAn: evolutionary mutation testing for C++ object-oriented systems.
Proceedings of the Symposium on Applied Computing, 2017

Using Evolutionary Computation to Improve Mutation Testing.
Proceedings of the Advances in Computational Intelligence, 2017

Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Multijob: a framework for efficient distribution of evolutionary algorithms for parameter tuning.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Using Evolutionary Mutation Testing to improve the quality of test suites.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016
Local programming language barriers in stream-based systems.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection.
Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015
Quality metrics for mutation testing with applications to WS-BPEL compositions.
Softw. Test., Verif. Reliab., 2015

MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0.
Knowl.-Based Syst., 2015

ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns.
Expert Syst. Appl., 2015

Class mutation operators for C++ object-oriented systems.
Annales des Télécommunications, 2015

Improving network traffic acquisition and processing with the Java Virtual Machine.
Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

Monitoring traffic in computer networks with dynamic distributed remote packet capturing.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

Using Genetic Algorithms for Deadline-Constrained Monitor Selection in Dynamic Computer Networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Two Case Studies on Generating Administrative Process Applications with AdminDSL.
Proceedings of the Business Modeling and Software Design - 5th International Symposium, 2015

2014
Exact scalable sensitivity analysis for the next release problem.
ACM Trans. Softw. Eng. Methodol., 2014

Assessment of collaborative learning experiences by graphical analysis of wiki contributions.
Interactive Learning Environments, 2014

Automatic dynamic generation of likely invariants for WS-BPEL compositions.
Expert Syst. Appl., 2014

A model-driven approach for facilitating user-friendly design of complex event patterns.
Expert Syst. Appl., 2014

Scalability of assessments of wiki-based learning experiences in higher education.
Computers in Human Behavior, 2014

PTTAC: Passive Testing Tool for Asynchronous Systems.
Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.
Proceedings of the Testing Software and Systems, 2014

Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Header Field Based Partitioning of Network Traffic for Distributed Packet Capturing and Processing.
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013
A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
Mutation Testing of Event Processing Queries.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011
Evolutionary mutation testing.
Information & Software Technology, 2011

Model-Driven Design of Performance Requirements.
Proceedings of the 11th International Conference on Quality Software, 2011

EUnit: A Unit Testing Framework for Model Management Tasks.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE.
Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Model-driven Design of Performance Requirements with UML and MARTE.
Proceedings of the ICSOFT 2011, 2011

Application of Metamorphic Testing to a Case Study in Web Services Compositions.
Proceedings of the E-Business and Telecommunications - International Joint Conference, 2011

An Approach to Metamorphic Testing for WS-BPEL Compositions.
Proceedings of the ICE-B 2011, 2011

Towards Higher-order Mutant Generation for WS-BPEL.
Proceedings of the ICE-B 2011, 2011

Learning-oriented Assessment of Wiki Contributions - How to Assess Wiki Contributions in a Higher Education Learning Setting.
Proceedings of the CSEDU 2011, 2011

2010
A verified Common Lisp implementation of Buchberger's algorithm in ACL2.
J. Symb. Comput., 2010

Mutación evolutiva.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

SODM+T: Inferencia de restricciones de rendimiento.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation.
Proceedings of the Web Engineering, 10th International Conference, 2010

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis.
Proceedings of the Web Engineering, 10th International Conference, 2010

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions.
Proceedings of the Third International Conference on Software Testing, 2010

2009
A Framework for Mutant Genetic Generation for WS-BPEL.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information.
Proceedings of the Web Engineering, 9th International Conference, 2009

GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions.
Proceedings of the ICE-B 2008, 2008

Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions.
Proceedings of the ECOWS 2008, 2008

2004
Verified Computer Algebra in Acl2. Gröbner Bases Computation.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2001
A Certified Polynomial-Based Decision Procedure for Propositional Logic.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001


  Loading...