The second international workshop on automated program analysis, testing and verification

被引：0

作者：

Tracey, N ^{[1
]}

Penix, J ^{[1
]}

Visser, WC ^{[1
]}

机构：

[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England

来源：

PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 2001年

关键词：

D O I：

10.1109/ICSE.2001.919162

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Program analysis, testing and verification are key techniques for building confidence in and increasing the quality of software systems. Such activities typically cost upwards of 50% of total development costs. Automation aims to allow both reduced costs and more thorough analysis, testing and verification and is vital to keep pace with increasing software complexity. This workshop follows on from the successful workshop held as part of ICSE 2000 in Ireland to further discuss these issues and the current start-of-the-art.

引用

页码：755 / 755

页数：1

共 50 条

[21] INTERNATIONAL HISTOCOMPATIBILITY TESTING WORKSHOP 1977
KISSMEYERNIELSEN, F
NATURE, 1977, 270 (5639) : 664 - 665
[22] Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Second Workshop on Model Based Testing 2006 Preface
Finkbeiner, Bernd
Gurevich, Yuri
Petrenko, Alexander K.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 1 - 1
[23] Verification by testing for recursive program schemes
Le Métayer, D
Nicolas, VA
Ridoux, O
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS, 2000, 1817 : 255 - 272
[24] Lazy Annotation for Program Testing and Verification
McMillan, Kenneth L.
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 104 - 118
[25] Hydrogen Scooter Testing and Verification Program
Tso, Chunto
Huang, Lai-Ho
Tseng, Chung-Jen
WHEC 2012 CONFERENCE PROCEEDINGS - 19TH WORLD HYDROGEN ENERGY CONFERENCE, 2012, 29 : 633 - 643
[26] First International Workshop on Verification of Business and Software Processes
Baarir, Souheib
Klai, Kais
ICSSP'17: PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON SOFTWARE AND SYSTEM PROCESS, 2017, : 143 - 144
[27] Second international workshop on Model Size Metrics
Chaudron, Michel
Lange, Christian F. J.
MODELS IN SOFTWARE ENGINEERING, 2008, 5002 : 89 - 92
[28] The Second International Workshop on the Evaluation and Management of Hypoparathyroidism
Khan, Aliya A.
Bilezikian, John P.
Brandi, Maria Luisa
Clarke, Bart L.
Potts, John J.
Mannstadt, Michael
JOURNAL OF BONE AND MINERAL RESEARCH, 2022, 37 (12) : 2566 - 2567
[29] Foundational Program Verification in Coq with Automated Proofs
Chlipala, Adam
MSFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, 2010, : 19 - 19
[30] Enhancing Automated Program Repair with Deductive Verification
Le, Xuan-Bach D.
Le, Quang Loc
Lo, David
Le Goues, Claire
32ND IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2016), 2016, : 428 - 432

← 1 2 3 4 5 →