research analysis software engineering software testing invariants dynamic mutants equivalent testing mutation debugging fuzzing jupyter funding specification mining impact process mining program science twitter social media constraints grammar culture review security python literate programming notebooks documentation code cispa grammars test generation reproducible reusable replicable sustainable software grant writing proposal career academia lightweight parsing anomalies checkmycode linux object usage bugs award keynote sigsoft programs awards papers acceptance conference
See more