Check 'n' crash: Combining static checking and testing

被引：0

作者：

Csallner, Christoph ^{[1
]}

Smaragdakis, Yannis ^{[1
]}

机构：

[1] College of Computing, Georgia Institute of Technology, Atlanta, GA 30332, United States

来源：

Proc Int Conf Software Eng | / 422-431期

关键词：

Compendex;

D O I：

1553585

中图分类号：

学科分类号：

摘要：

Automatic testing - Automation - Error detection - Java programming language - Quality of service - Theorem proving - Usability engineering

引用

共 50 条

[31] Check, check, double check: Investigating memory deterioration within multiple sessions of repeated checking
Toffolo, Marieke B. J.
van den Hout, Marcel A.
Radomsky, Adam S.
Engelhard, Iris M.
JOURNAL OF BEHAVIOR THERAPY AND EXPERIMENTAL PSYCHIATRY, 2016, 53 : 59 - 67
[32] Checking out the art while you check in
Abbe, Mary
ARTNEWS, 2006, 105 (10): : 54 - 54
[33] Checking how fact-checkers check
Lim, Chloe
RESEARCH & POLITICS, 2018, 5 (03)
[34] STATIC TYPE CHECKING OF MULTIMETHODS
AGRAWAL, R
DEMICHIEL, LG
LINDSAY, BG
SIGPLAN NOTICES, 1991, 26 (11): : 113 - 128
[35] Static Contract Checking for Haskell
Xu, Dana N.
Jones, Simon Peyton
Claessen, Koen
ACM SIGPLAN NOTICES, 2009, 44 (01) : 41 - 52
[36] DESIGN OF TOTALLY SELF-CHECKING CHECK CIRCUITS FOR M-OUT-OF-N CODES
ANDERSON, DA
METZE, G
IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (03) : 263 - 269
[37] Static contract checking for haskell
University of Cambridge, United Kingdom
不详
不详
ACM SIGPLAN Not., 1 (41-52):
[38] Applications of extended static checking
Rustan, K
Leino, M
STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 185 - 193
[39] Checking-Up on Branch-and-Check
Beck, J. Christopher
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP 2010, 2010, 6308 : 84 - 98
[40] To Member Check or not to Member Check? An Evaluation of Member Checking in an Interpretive Descriptive Study
Lloyd, Nicola
Hyett, Nerida
Kenny, Amanda
INTERNATIONAL JOURNAL OF QUALITATIVE METHODS, 2024, 23