Abbrevation
ICST
City
Xi´an
Country
China
Deadline Paper
Start Date
End Date
Abstract

ICST 2019 invites high quality submissions in all areas of software testing, verification,<br>and validation&#046; Papers for the research track should present novel and original work that<br>pushes the state&#8211;of&#8211;the&#8211;art&#046; Case studies and empirical research papers are also welcome&#046;<br>Topics of interest include, but is not limited to, the following:<br>&#8211; Domain specific testing, such as: mobile or web app testing, embedded systems testing,<br>concurrent systems, GUI testing, etc&#046;<br>&#8211; Formal verification<br>&#8211; Model based testing<br>&#8211; Model checking<br>&#8211; Manual testing practices and techniques<br>&#8211; Search based software testing<br>&#8211; Security testing<br>&#8211; Software reliability<br>&#8211; Test automation<br>&#8211; Testability and design<br>&#8211; Testing and development processes<br>&#8211; Testing education<br>&#8211; Testing in specific domains, such as mobile, web, embedded, concurrent, distributed,<br>cloud, and real&#8211;time systems<br>&#8211; Testing/debugging tools<br>&#8211; Theory of software testing<br>&#8211; Empirical studies<br>&#8211; Experience reports<br>