Phys: probabilistic physical unit assignment and inconsistency detection

Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian G. Elbaum, Zhaogui Xu. Phys: probabilistic physical unit assignment and inconsistency detection. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 563-573, ACM, 2018. [doi]

Authors

Sayali Kate

This author has not been identified. Look up 'Sayali Kate' in Google

John-Paul Ore

This author has not been identified. Look up 'John-Paul Ore' in Google

Xiangyu Zhang

This author has not been identified. Look up 'Xiangyu Zhang' in Google

Sebastian G. Elbaum

This author has not been identified. Look up 'Sebastian G. Elbaum' in Google

Zhaogui Xu

This author has not been identified. Look up 'Zhaogui Xu' in Google