researchr
Explore
Tags
Journals
Conferences
Authors
Profiles
Groups
Calendar
New Conferences
Events
Deadlines
Search
You are not signed in
Sign in
Sign up
Links
Filter by Year
Filter by Tag
Filter by Author
Filter by Top terms
Tags
analysis
reliability
security
software
testing
tools
verification
International Conference on Software Testing and Analysis (ISSTA)
Editions
Publications
Filter by Topics
[-]
OR
AND
NOT
1
algebra
AspectJ
BPEL
C++
Google
Haskell
Java
JavaScript
Meta-Environment
Prolog
Ruby
Ruby on Rails
SQL
UML
XML
XML Schema
abstract machine
abstraction
access control
algebraic specification
analysis
application framework
architecture
aspect oriented programming
bug detection
caching
case study
classification
code generation
compiler
completeness
composition
consistency
constraints
context-aware
contracts
coverage
data validation
data-flow
data-flow analysis
data-flow language
data-flow programming
database
debugging
deployment
design
e-science
empirical
exceptions
feature-oriented programming
grammar
graph-rewriting
history
incremental
information models
logic
logic programming
maintenance
meta programming
meta-model
meta-objects
mobile
model checking
model refactoring
model-driven development
modeling
object-oriented programming
object-role modeling
open-source
optimization
parallel programming
partitioning
peer-to-peer
persistent
points-to analysis
process algebra
process modeling
process monitoring
product line
program analysis
program optimization
program transformation
program verification
programming
programming paradigms
protocol
random testing
reactive programming
redundancy
refactoring
refinement
reliability
requirements engineering
reuse
reviewing
rewriting
role-based access control
rule-based
rules
search
security
semantics
slicing
software architecture
software component
software components
software engineering
software evolution
software product line
source-to-source
state machines
static analysis
subject-oriented programming
subtyping
survey
synchronization
systematic review
systematic-approach
tagging
teaching
test coverage
testing
transformation
transformation language
transformation system
translation
type inference
web applications
web service
web services
Filter by Authors
[+]
[-]
OR
AND
NOT
1
A. Hartman
A. Jefferson Offutt
A. Mathur
A. Richard Newton
A. T. Chamillard
Aaron Anodide
Aaron G. Cass
Aaron Kershenbaum
Aaron Tomb
Aarti Gupta
Abdel Aziz Farrag
Abhik Roychoudhury
Adam A. Porter
Adam Kiezun
Aditya Rajeev Kulkarni
Aditya V. Nori
Ahmad A. Saifan
Ajay Chander
Ajitha Rajan
Akbar Siami Namin
Alain Denise
Alan Borning
Alan Sussman
Alberto Avritzer
Alberto Coen-Porisini
Alberto Savoia
Alessandro Orso
Alex Edwards
Alex Groce
Alexandre Duarte
Alexandre Petrenko
Alexey G. Malishevsky
Alexey Loginov
Amie L. Souter
Amit M. Paradkar
Ana Milanova
Andrea Arcuri
Andreas Leitner
Andreas Zeller
Andy Podgurski
Antonia Bertolino
Arnaud Gotlieb
Atanas Rountev
Aviad Zlotnick
Barbara G. Ryder
Barton P. Miller
Basile Schaeli
Bassem Elkarablieh
Ben Liblit
Bertrand Meyer
Bin Xin
Bogdan Korel
Bohuslav Krena
Bojan Cukic
Branson W. Murrill
Brian Demsky
Carlo Ghezzi
Cemal Yilmaz
Charles Zhang
Cheer-Sun D. Yang
Chen Tian
Corina S. Pasareanu
Cormac Flanagan
Daniel J. Quinlan
Daniel Jackson
Danilo Bruschi
Darko Marinov
David Binkley
David Lo
David Lorge Parnas
David Saff
David Zimmerman
Dawn Song
Dawson R. Engler
Debra J. Richardson
Dennis K. Peters
Dick Hamlet
Diogo Sousa
Donglin Liang
Edward F. Miller
Eitan Farchi
Elaine J. Weyuker
Emily Gibson
Eran Yahav
Eugene H. Spafford
Filippo Gioachin
Frank Tip
Ganesh Gopalakrishnan
George K. Baah
George S. Avrunin
Giampaolo Fresi Roglia
Gleb Naumovich
Gordon Fraser
Graham Hughes
Greg Dennis
Gregg Rothermel
Guoqing Xu
Hadar Ziv
Hélène Waeselynck
Ilinca Ciupa
Insup Lee
István Forgács
Jack C. Wileden
James A. Clause
James A. Jones
James C. Corbett
James F. Bowring
James H. Andrews
Jamieson M. Cobleigh
Jeff H. Perkins
Jeffrey M. Voas
Jiangfan Shi
Jianjun Zhao
Joanne M. Atlee
John D. Gannon
Jonathan de Halleux
João Lourenço
Julian Dolby
K. Nagin
Katsuro Inoue
Klaus Havelund
Koushik Sen
Larry J. Morell
Larry Koved
Laura K. Dillon
Laxmikant V. Kalé
Leon J. Osterweil
Lionel C. Briand
Lorenzo Martignoni
Lori A. Clarke
Lori L. Pollock
Mangala Gowri Nanda
Manuel Oriol
Marco Pistoia
Margus Veanes
Mark Harman
Martin Burger
Martin C. Rinard
Martina Marré
Mary Jean Harrold
Mary Lou Soffa
Mats Per Erik Heimdahl
Matthew B. Dwyer
Mauro Pezzè
Michael D. Ernst
Michael Delisi
Michael R. Lowry
Michael W. Whalen
Michal Young
Mohamed Elwakil
Mooly Sagiv
Myra B. Cohen
Nathaniel Ayewah
Neha Rungta
Nikolai Tillmann
Nurit Dor
Omer Tripp
Paolo Tonella
Pascale Thévenod-Fosse
Patrice Godefroid
Phil McMinn
Phil Stocks
Philip J. Guo
Phyllis G. Frankl
Rachel Tzoref
Rachel Tzoref-Brill
Raja Das
Rajiv Gupta
Raymond P. L. Buse
Ricardo J. Dias
Richard A. DeMillo
Richard A. Kemmerer
Richard G. Hamlet
Richard Gerber
Richard N. Taylor
Richard W. Vuduc
Robert M. Bell
Robert M. Kirby
Roberto Paleari
Roger D. Hersch
Roong-Ko Doong
Rupak Majumdar
S. Ramesh
Sandro Morasca
Sara Sprenkle
Sarfraz Khurshid
Sarvani S. Vakkalanka
Saurabh Sinha
Scott D. Stoller
Sebastian G. Elbaum
Serdar Tasiran
Shay Artzi
Shaz Qadeer
Shin Yoo
Shmuel Ur
Sreedevi Sampath
Sriram Sankar
Sriraman Tallam
Stefan Wagner
Stephen F. Siegel
Stephen Fink
Stephen J. Fink
Stephen McCamant
Stewart N. Weiss
Takashi Ishio
Tal Lev-Ami
Tao Bao
Tao Xie
Tarak Goradia
Tayfun Elmas
Tevfik Bultan
Thomas Ball
Thomas J. Ostrand
Tim Menzies
Tiziana Margaria
Tomás Vojnar
Tsong Yueh Chen
Ugo A. Buy
Valentin Dallmeier
Vasco Pessanha
Vijay Nagarajan
Vladimir N. Fleyshgakker
Westley Weimer
Willem Visser
William D. Young
William E. Howden
William Landi
William N. Sumner
William Pugh
Wolfgang Grieskamp
Wolfram Schulte
Xiang Fu
Xiangyu Zhang
Yannis Smaragdakis
Yao Qi
Yarden Nir-Buchbinder
Zdenek Letko
Zhendong Su
Zhi Da Luo
Zijiang Yang