Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis | ACM Conferences

ISSTA 2017: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Go to Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

July 2017

2017 Proceeding

General Chair:
Tevfik Bultan
University of California at Santa Barbara, USA
,
Program Chair:
Koushik Sen
University of California at Berkeley, USA

Publisher:

Association for Computing Machinery
New York
NY
United States

Conference:

ISSTA '17: International Symposium on Software Testing and Analysis Santa Barbara CA USA July 10 - 14, 2017

ISBN:

978-1-4503-5076-1

Published:

10 July 2017

Sponsors:

Recommend ACM DL

ALREADY A SUBSCRIBER?SIGN IN

Next Conference

September 16 - 20, 2024

Vienna , Austria

ISSTA '24 website

Bibliometrics

No abstract available.

Proceeding Downloads

PDFFront matter (Title page, Message from the chairs, Organization, Sponsors and supporters)

PDFBack matter (Author index)

Select All

Export Citations Save to Binder

Cited By

Hall S, Khoury R, Betti Q, El-Hokayem A and Falcone Y (2018). Decentralized enforcement of document lifecycle constraints, Information Systems, 74:P2, (117-135), Online publication date: 1-May-2018.

Contributors

Tevfik Bultan
University of California, Santa Barbara
- Publication Years1995 - 2023
- Publication counts133
- Citation count2,511
- Available for Download75
- Downloads (cumulative)31,192
- Downloads (12 months)3,437
- Downloads (6 weeks)349
- Average Downloads per Article416
- Average Citation per Article19
View Full Profile
Koushik Sen
- Publication Years
- Publication counts0
- Citation count0
- Available for Download0
- Downloads (cumulative)0
- Downloads (12 months)0
- Downloads (6 weeks)0
- Average Downloads per Article0
- Average Citation per Article0
View Full Profile

Index Terms

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification
      2. Software defect analysis
        Software testing and debugging
  2. Software organization and properties
    1. Software functional properties
      1. Formal methods
        Software verification

Recommendations

Acceptance Rates

Overall Acceptance Rate58of213submissions,27%

Year	Submitted	Accepted	Rate
ISSTA '02	97	26	27%
ISSTA '98	47	16	34%
ISSTA '94	69	16	23%
Overall	213	58	27%