Identifying method-level mutation subsumption relations using Z3
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Márcio Niemeyer Martins de Queiroz Guimarães, Leo Fernandes, Marcelo d’Amorim, Vander Alves, Leopoldo Teixeira, Baldoíno Fonseca
Topics & Concepts
MutationMutation testingComputer scienceContext (archaeology)Statement (logic)Test suiteRelation (database)Theoretical computer scienceComputational biologyData miningTest caseGeneticsMachine learningBiologyRegression analysisPaleontologyPolitical scienceLawGeneSoftware Testing and Debugging TechniquesAdvanced Malware Detection TechniquesSoftware Engineering Research