Event | When | Where | Deadline | |
NFM 2021 |
13th NASA Formal Methods Symposium | |
May 24, 2021 - May 28, 2021 |
Norfolk, Virginia, USA |
Dec 4, 2020 (Nov 27, 2020) |
CAV 2021 |
33rd International Conference on Computer-Aided Verification | |
Jul 18, 2021 - Jul 23, 2021 |
Los Angeles |
Jan 28, 2021 |
ISSTA 2021 |
International Symposium on Software Testing and Analysis | |
Jul 12, 2021 - Jul 16, 2021 |
Aarhus, Denmark |
Jan 29, 2021 |
SEKE 2021 |
The Thirty Third International Conference on Software Engineering and Knowledge Engineering | |
Jul 1, 2021 - Jul 3, 2021 |
Redwood City, San Francisco Bay, (USA) |
Mar 1, 2021 |
JSS SI on Test Automation 2021 |
Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier) | |
N/A |
N/A |
Mar 31, 2021 |
|