default search action

combined dblp search
author search
venue search
publication search

ask others

ISSTA 2010: Trento, Italy

> Home > Conferences and Workshops > ISSTA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/issta/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2010
Paolo Tonella, Alessandro Orso:
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. ACM 2010, ISBN 978-1-60558-823-0

Technical session 1: formal verification and analysis

- view
  authority control:
- export record
  dblp key:
  - conf/issta/GodefroidK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GodefroidK10
Patrice Godefroid, Johannes Kinder:
Proving memory safety of floating-point computations by combining static and dynamic program analysis. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BaoZLZX10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BaoZLZX10
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Strict control dependence and its effect on dynamic information flow analyses. 13-24
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GaleottiRPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GaleottiRPF10
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias:
Analysis of invariants for efficient bounded verification. 25-36
- view
  authority control:
- export record
  dblp key:
  - conf/issta/CarbinR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/CarbinR10
Michael Carbin, Martin C. Rinard:
Automatically identifying critical input regions and code in applications. 37-48

Technical session 2: debugging

- view
  authority control:
- export record
  dblp key:
  - conf/issta/ArtziDTP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ArtziDTP10
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia:
Directed test generation for effective fault localization. 49-60
- view
  authority control:
- export record
  dblp key:
  - conf/issta/WeiPFSBMZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WeiPFSBMZ10
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller:
Automated fixing of programs with contracts. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BaahPH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BaahPH10
George K. Baah, Andy Podgurski, Mary Jean Harrold:
Causal inference for statistical fault localization. 73-84

Technical session 3: mining and taxonomies

- view
  authority control:
- export record
  dblp key:
  - conf/issta/DallmeierKMHZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DallmeierKMHZ10
Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller:
Generating test cases for specification mining. 85-96
- view
  authority control:
- export record
  dblp key:
  - conf/issta/DobolyiW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DobolyiW10
Kinga Dobolyi, Westley Weimer:
Modeling consumer-perceived web application fault severities for testing. 97-106

Technical session 4: anomaly detection

- view
  authority control:
- export record
  dblp key:
  - conf/issta/KwonS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KwonS10
Taeho Kwon, Zhendong Su:
Automatic detection of unsafe component loadings. 107-118
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GruskaWZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GruskaWZ10
Natalie Gruska, Andrzej Wasylkowski, Andreas Zeller:
Learning from 6, 000 projects: lightweight cross-project anomaly detection. 119-130
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TangBLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TangBLS10
Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su:
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. 131-142

Doctoral symposium

- view
  authority control:
- export record
  dblp key:
  - conf/issta/Jiang10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Jiang10
Zhen Ming Jiang:
Automated analysis of load testing results. 143-146

Technical session 5: test input generation and fuzzing

- view
  authority control:
- export record
  dblp key:
  - conf/issta/FraserZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FraserZ10
Gordon Fraser, Andreas Zeller:
Mutation-driven generation of unit tests and oracles. 147-158
- view
  authority control:
- export record
  dblp key:
  - conf/issta/JaygarlKXC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/JaygarlKXC10
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang:
OCAT: object capture-based automated testing. 159-170
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MartignoniPRB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MartignoniPRB10
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi:
Testing system virtual machines. 171-182

Technical session 6: symbolic execution

- view
  authority control:
- export record
  dblp key:
  - conf/issta/StaatsP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/StaatsP10
Matt Staats, Corina S. Pasareanu:
Parallel symbolic execution for structural test generation. 183-194
- view
  authority control:
- export record
  dblp key:
  - conf/issta/SantelicesH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/SantelicesH10
Raúl A. Santelices, Mary Jean Harrold:
Exploiting program dependencies for scalable multiple-path symbolic execution. 195-206
- view
  authority control:
- export record
  dblp key:
  - conf/issta/DanielGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DanielGM10
Brett Daniel, Tihomir Gvero, Darko Marinov:
On test repair using symbolic execution. 207-218

Technical session 7: empirical studies

- view
  authority control:
- export record
  dblp key:
  - conf/issta/ArcuriIB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ArcuriIB10
Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand:
Formal analysis of the effectiveness and predictability of random testing. 219-230
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KettunenKTS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KettunenKTS10
Vesa Kettunen, Jussi Kasurinen, Ossi Taipale, Kari Smolander:
A study on agility and testing processes in software organizations. 231-240
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AyewahP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AyewahP10
Nathaniel Ayewah, William W. Pugh:
The Google FindBugs fixit. 241-252

Technical session 8: concurrency and differential testing

- view
  authority control:
- export record
  dblp key:
  - conf/issta/WeeratungeZSJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WeeratungeZSJ10
Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan:
Analyzing concurrency bugs using dual slicing. 253-264
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PaleariMRB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PaleariMRB10
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi:
N-version disassembly: differential testing of x86 disassemblers. 265-274

Formal demos

- view
  authority control:
- export record
  dblp key:
  - conf/issta/OstrandW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/OstrandW10
Thomas J. Ostrand, Elaine J. Weyuker:
Software fault prediction tool. 275-278
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Romero-MarionaZR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Romero-MarionaZR10
Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson:
ASSURE: automated support for secure and usable requirements engineering. 279-282

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.