dblp: ISSTA 2014 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

ISSTA 2014: San Jose, CA, USA

• 

• 

• 

• 

• 
  jump to

  • Concurrency and Verification
  • Web Testing
  • Artifact Studies
  • Static Analyses and Transformations
  • Test Selection and Reduction
  • Localization and Repair
  • Security
  • UI Testing
  • Efficiency and Optimizations
  • Generation and Propagation
  • Tool Demonstrations
  • Doctoral Symposium

• 

• > Home > Conferences and Workshops > ISSTA

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  • 
  • 
  • 
  • 
    Corina S. Pasareanu, Darko Marinov:
    International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014. ACM 2014, ISBN 978-1-4503-2645-2

Concurrency and Verification

• 
  • 
  • 
  • 
  • 
    Lu Zhang, Chao Wang:
    Runtime prevention of concurrency related type-state violations in multithreaded applications. 1-12
• 
  • 
  • 
  • 
  • 
    Michael Pradel, Markus Huggler, Thomas R. Gross:
    Performance regression testing of concurrent classes. 13-25
• 
  • 
  • 
  • 
  • 
    Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev:
    Verifying atomicity via data independence. 26-36
• 
  • 
  • 
  • 
  • 
    Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
    Verification-aided regression testing. 37-48

Web Testing

• 
  • 
  • 
  • 
  • 
    Omer Tripp, Pietro Ferrara, Marco Pistoia:
    Hybrid security analysis of web JavaScript code via dynamic partial evaluation. 49-59
• 
  • 
  • 
  • 
  • 
    Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao:
    Virtual DOM coverage for effective testing of dynamic web applications. 60-70
• 
  • 
  • 
  • 
  • 
    Mehdi MirzaAghaei, Ali Mesbah:
    DOM-based test adequacy criteria for web applications. 71-81
• 
  • 
  • 
  • 
  • 
    Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
    Cross-platform feature matching for web applications. 82-92

Artifact Studies

• 
  • 
  • 
  • 
  • 
    Paul Dan Marinescu, Petr Hosek, Cristian Cadar:
    Covrig: a framework for the analysis of code, test, and coverage evolution in real software. 93-104
• 
  • 
  • 
  • 
  • 
    Marcel Böhme, Abhik Roychoudhury:
    CoREBench: studying complexity of regression errors. 105-115

Static Analyses and Transformations

• 
  • 
  • 
  • 
  • 
    Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri:
    ARC++: effective typestate and lifetime dependency analysis. 116-126
• 
  • 
  • 
  • 
  • 
    Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst:
    A type system for format strings. 127-137
• 
  • 
  • 
  • 
  • 
    Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo:
    Scalable detection of missed cross-function refactorings. 138-148
• 
  • 
  • 
  • 
  • 
    Benoit Baudry, Simon Allier, Martin Monperrus:
    Tailored source code transformations to synthesize computationally diverse program variants. 149-159

Test Selection and Reduction

• 
  • 
  • 
  • 
  • 
    Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour:
    Using test case reduction and prioritization to improve symbolic execution. 160-170
• 
  • 
  • 
  • 
  • 
    Arnaud Gotlieb, Dusica Marijan:
    FLOWER: optimal test suite reduction as a network maximum flow. 171-180
• 
  • 
  • 
  • 
  • 
    Nadia Alshahwan, Mark Harman:
    Coverage and fault detection of the output-uniqueness test selection criteria. 181-192
• 
  • 
  • 
  • 
  • 
    Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel:
    Dodona: automated oracle data set selection. 193-203

Localization and Repair

• 
  • 
  • 
  • 
  • 
    Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim:
    CrashLocator: locating crashing faults based on crash stacks. 204-214
• 
  • 
  • 
  • 
  • 
    Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun:
    Efficient predicated bug signature mining via hierarchical instrumentation. 215-224
• 
  • 
  • 
  • 
  • 
    Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan:
    Semantic differential repair for input validation and sanitization. 225-236
• 
  • 
  • 
  • 
  • 
    Yiyan Lin, Sandeep S. Kulkarni:
    Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. 237-247

Security

• 
  • 
  • 
  • 
  • 
    Andrew Henderson, Aravind Prakash, Lok-Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, Heng Yin:
    Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform. 248-258
• 
  • 
  • 
  • 
  • 
    Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, Nadia Alshahwan:
    Automated testing for SQL injection vulnerabilities: an input mutation approach. 259-269

UI Testing

• 
  • 
  • 
  • 
  • 
    Stephan Arlt, Andreas Podelski, Martin Wehrle:
    Reducing GUI test suites via program slicing. 270-281
• 
  • 
  • 
  • 
  • 
    Adrian Nistor, Lenin Ravindranath:
    SunCat: helping developers understand and predict performance problems in smartphone applications. 282-292
• 
  • 
  • 
  • 
  • 
    José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides:
    A variability-based testing approach for synthesizing video sequences. 293-303
• 
  • 
  • 
  • 
  • 
    Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra:
    Robust test automation using contextual clues. 304-314

Efficiency and Optimizations

• 
  • 
  • 
  • 
  • 
    René Just, Michael D. Ernst, Gordon Fraser:
    Efficient mutation analysis by propagating and partitioning infected execution states. 315-326
• 
  • 
  • 
  • 
  • 
    Benwen Zhang, James Clause:
    Lightweight automated detection of unsafe information leakage via exceptions. 327-338
• 
  • 
  • 
  • 
  • 
    Ding Li, Yuchen Jin, Cagri Sahin, James Clause, William G. J. Halfond:
    Integrated energy-directed test suite optimization. 339-350
• 
  • 
  • 
  • 
  • 
    Shiva Nejati, Lionel C. Briand:
    Identifying optimal trade-offs between CPU time usage and temporal constraints using search. 351-361

Generation and Propagation

• 
  • 
  • 
  • 
  • 
    Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid:
    Feedback-driven dynamic invariant discovery. 362-372
• 
  • 
  • 
  • 
  • 
    Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
    Link: exploiting the web of data to generate test inputs. 373-384
• 
  • 
  • 
  • 
  • 
    Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin:
    Empirically revisiting the test independence assumption. 385-396
• 
  • 
  • 
  • 
  • 
    Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri:
    An empirical study of injected versus actual interface errors. 397-408

Tool Demonstrations

• 
  • 
  • 
  • 
  • 
    Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, Cody Mack:
    Legend: an agile DSL toolset for web acceptance testing. 409-412
• 
  • 
  • 
  • 
  • 
    Matthias Schur, Andreas Roth, Andreas Zeller:
    ProCrawl: mining test models from multi-user web applications. 413-416
• 
  • 
  • 
  • 
  • 
    Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
    X-PERT: a web application testing tool for cross-browser inconsistency detection. 417-420
• 
  • 
  • 
  • 
  • 
    Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri:
    Extending a search-based test generator with adaptive dynamic symbolic execution. 421-424
• 
  • 
  • 
  • 
  • 
    Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang:
    Canalyze: a static bug-finding tool for C programs. 425-428
• 
  • 
  • 
  • 
  • 
    Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce:
    MuCheck: an extensible tool for mutation testing of haskell programs. 429-432
• 
  • 
  • 
  • 
  • 
    René Just:
    The major mutation framework: efficient and scalable mutation analysis for Java. 433-436
• 
  • 
  • 
  • 
  • 
    René Just, Darioush Jalali, Michael D. Ernst:
    Defects4J: a database of existing faults to enable controlled testing studies for Java programs. 437-440
• 
  • 
  • 
  • 
  • 
    Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst:
    A format string checker for Java. 441-444
• 
  • 
  • 
  • 
  • 
    Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
    Constructing coding duels in Pex4Fun and code hunt. 445-448

Doctoral Symposium

• 
  • 
  • 
  • 
  • 
    Meixian Chen:
    Reusing constraint proofs for scalable program analysis. 449-452
• 
  • 
  • 
  • 
  • 
    Shabnam Mirshokraie:
    Effective test generation and adequacy assessment for JavaScript-based web applications. 453-456
• 
  • 
  • 
  • 
  • 
    Zhiqiang Zuo:
    Efficient statistical debugging via hierarchical instrumentation. 457-460

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: