Thierry Titcheu Chekam
|
|
||||
| Postadresse |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
In press
Killing Stubborn Mutants with Symbolic Execution; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)
2020
Commit-Aware Mutation Testing; ; ; ; ;
in IEEE International Conference on Software Maintenance and Evolution (ICSME) (2020)
Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework; ;
in ACM/IEEE International Conference on Automation of Software Test (AST) 2020 (2020)
2019
Mart: A Mutant Generation Tool for LLVM; ;
in Titcheu Chekam, Thierry; Papadakis, Mike; Le Traon, Yves (Eds.) Mart: A Mutant Generation Tool for LLVM (2019)
2018
Are mutants really natural? A study on how “naturalness” helps mutant selection; ; ; ; ; ;
in Proceedings of 12th International Symposium on Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)
Mutant Quality Indicators; ;
in 13th International Workshop on Mutation Analysis (MUTATION'18) (2018)
On the Synchronization Bottleneck of OpenStack Swift-like Cloud Storage Systems; ; ; ; ; ; ;
in IEEE Transactions on Parallel and Distributed Systems (2018), PP(99), 1-1
Predicting the Fault Revelation Utility of Mutants; ; ;
in 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018 (2018)
2017
An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption; ; ;
in International Conference on Software Engineering (ICSE 2017) (2017, May 28)
2016
On the Synchronization Bottleneck of OpenStack Swift-like Cloud Storage Systems; ; ; ;
in IEEE International Conference on Computer Communications, San Francisco, CA 10-15 April 2016 (2016, April)
