SERG
About SERG
Organization
Statistics
Members
Research Lines
Computational Intelligence for Software Engineering
DevOps
Machine Learning for Software Engineering
Software Analytics
Software Engineering for Fintech
Software Quality
Software Reliability for Concurrent and Distributed Systems
Sustainable Software Engineering
Research
Projects
Publications
Tools
Education
Teaching
Thesis Projects
Events
Vacancies
Contact
Axel Legay
Latest
A decade of featured transition systems
Model-based mutant equivalence detection using automata language equivalence and simulations
Cite
×