Search for persons
X
?
Communications in Computer and Information Science; Model-Driven Engineering and Software Development ,
1
A Digital Twin Description Framework and Its Mapping to Ass..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
3
Formal Verification of Developer Tests: A Research Agenda I..:
, In:
?
Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops ,
4
Mutant Density : A Measure of Fault-Sensitive Complexity:
, In:
?
SOFSEM 2019: Theory and Practice of Computer Science; Lecture Notes in Computer Science ,
7
Do Null-Type Mutation Operators Help Prevent Null-Type Faul..:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
8
C++11/14 Mutation Operators Based on Common Fault Patterns:
, In:
?
Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing ,
9
Dynamic mutant subsumption analysis using LittleDarwin:
, In:
?
Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering ,
10
Evaluating random mutant selection at class-level in projec..:
, In:
?
Scientific Workshop Proceedings of the XP2015 ,
11