by Hunt, John
Year of Publication 2019

by Hunt, John
Year of Publication 2019

by Dütting, Paul, Kleinberg, Robert
Published in Algorithms - ESA 2015 (2015)

by Tang, Antony, van Vliet, Hans
Published in Software Architecture (01.01.2015)

by Roehm, Hendrik, Oehlerking, Jens, Heinz, Thomas, Althoff, Matthias
Published in Automated Technology for Verification and Analysis (2016)

by Ashenden, Peter J.
Year of Publication 2008

by Jones, Cliff, Wang, Ji, Zhan, Naijun
Year of Publication 2018

by Watson, Des
Year of Publication 2017

by Black, Elizabeth, Modgil, Sanjay, Oren, Nir
Year of Publication 2018

by Gulan, Stefan, Harnisch, Jens, Johr, Sven, Kretschmer, Roberto, Rieger, Stefan, Zalman, Rafael
Published in Computer Safety, Reliability, and Security (2015)

by Li, Yue, Tan, Tian, Xue, Jingling
Published in Static Analysis (2015)

by Shmarov, Fedor, Zuliani, Paolo
Published in Hardware and Software: Verification and Testing (2016)

by Gauvin, Gary
Year of Publication 2015

by Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don
Year of Publication 2016

by Simos, Dimitris E., Kleine, Kristoffer, Ghandehari, Laleh Shikh Gholamhossein, Garn, Bernhard, Lei, Yu
Published in Testing Software and Systems (2016)

by Liu, Shaoying, Duan, Zhenhua
Year of Publication 2016

by Gookin, Dan, Geisler, Sandra
Year of Publication 01.01.2014

by Garanina, Natalia, Sidorova, Elena, Bodin, Eugene
Published in Perspectives of System Informatics (2015)

by Etscheid, Michael, Röglin, Heiko
Published in Algorithms - ESA 2015 (2015)

by Mütze, Torsten, Nummenpalo, Jerri
Published in Algorithms - ESA 2015 (2015)