102 citations · 246 across the 21 of their papers we have counts for
3 papers · 1 filter
Empirical Standards for Software Engineering Research
Paul Ralph, Nauman bin Ali, Sebastian Baltes +39
Empirical Standards are natural-language models of a scientific community's expectations for a specific kind of study (e.g. a questionnaire survey). The ACM SIGSOFT Paper and Peer…
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Claudio Menghi, Enrico Viganò, Domenico Bianculli +1
Cyber-physical systems combine software and physical components. Specification-driven trace-checking tools for CPS usually provide users with a specification language to express th…
Effective Removal of Operational Log Messages: an Application to Model Inference
Donghwan Shin, Domenico Bianculli, Lionel Briand
Model inference aims to extract accurate models from the execution logs of software systems. However, in reality, logs may contain some "noise" that could deteriorate the performan…