Test Selection for Object-Oriented Software Based on Formal Specifications
C. Péraire
◽
S. Barbey
◽
D. Buchs
Ming Gao
◽
P. Lisherness
◽
Kwang-Ting Cheng
Ahmet Celik
◽
Young Chul Lee
◽
Milos Gligoric
Divya Rohatgi
◽
Gyanendra Dwivedi
◽
Tulika Pandey
2014 ◽
Vol 40
(3)
◽
pp. 307-323
◽
Alex Groce
◽
Todd Kulesza
◽
Chaoqiang Zhang
◽
Shalini Shamasunder
◽
Margaret Burnett
◽
...
Haisong Liu
◽
Jiechang Wu
◽
Guojun Chen
Ramzi A. Haraty
◽
Nashat Mansour
◽
Bassel A. Daou
Takao Nakagawa
◽
Kazuki Munakata
◽
Koji Yamamoto
Pilsu Jung
◽
Sungwon Kang
◽
Jihyun Lee
◽
Taehyun Park
Yingling Li
◽
Junjie Wang
◽
Yun Yang
◽
Qing Wang