Expressing and checking intended changes via software change contracts

Expressing and checking intended changes via software change contracts

10.1145/2483760.2483772

Saved in:
Bibliographic Details
Main Authors: Yi, J., Qi, D., Tan, S.H., Roychoudhury, A.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Subjects:
Dynamic checking
Software changes
Test generation
Test repair
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78138
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-78138
record_format dspace
spelling sg-nus-scholar.10635-781382015-01-06T06:52:15Z Expressing and checking intended changes via software change contracts Yi, J. Qi, D. Tan, S.H. Roychoudhury, A. COMPUTER SCIENCE Dynamic checking Software changes Test generation Test repair 10.1145/2483760.2483772 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings 1-11 2014-07-04T03:12:51Z 2014-07-04T03:12:51Z 2013 Conference Paper Yi, J.,Qi, D.,Tan, S.H.,Roychoudhury, A. (2013). Expressing and checking intended changes via software change contracts. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings : 1-11. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2483760.2483772" target="_blank">https://doi.org/10.1145/2483760.2483772</a> 9781450321594 http://scholarbank.nus.edu.sg/handle/10635/78138 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Dynamic checking
Software changes
Test generation
Test repair
spellingShingle Dynamic checking
Software changes
Test generation
Test repair
Yi, J.
Qi, D.
Tan, S.H.
Roychoudhury, A.
Expressing and checking intended changes via software change contracts
description 10.1145/2483760.2483772
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Yi, J.
Qi, D.
Tan, S.H.
Roychoudhury, A.
format Conference or Workshop Item
author Yi, J.
Qi, D.
Tan, S.H.
Roychoudhury, A.
author_sort Yi, J.
title Expressing and checking intended changes via software change contracts
title_short Expressing and checking intended changes via software change contracts
title_full Expressing and checking intended changes via software change contracts
title_fullStr Expressing and checking intended changes via software change contracts
title_full_unstemmed Expressing and checking intended changes via software change contracts
title_sort expressing and checking intended changes via software change contracts
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/78138
_version_ 1681088587566678016

Similar Items