We introduce SEMu , a Dynamic Symbolic Execution technique that generates test inputs capable of killing stubborn mutants (killable remain undetected after reasonable amount testing). aims at mutant propagation (triggering erroneous states to the program output) by incrementally searching for divergent behaviors between original and versions. model problem as symbolic execution search within sp...

A common occurrence in litigation is the death of one parties while case still ongoing. The right to be heard by all principles natural justice (audi alterum partem). However, if dies, Court will unable issue a judgement since dead man cannot ordered or decreed against. As result, although proceedings not halted, take any enforcement action until legal representation has been registered record....