default search action

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

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  Maria Christakis, Michael Pradel:
  Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024. ACM 2024, ISBN 979-8-4007-0612-7 [contents]

• 
  René Just, Gordon Fraser:
  Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. ACM 2023 [contents]

• 
  Sukyoung Ryu, Yannis Smaragdakis:
  ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. ACM 2022, ISBN 978-1-4503-9379-9 [contents]

• 
  Cristian Cadar, Xiangyu Zhang:
  ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. ACM 2021, ISBN 978-1-4503-8459-9 [contents]
• 
  Shuai Wang, Xiaofei Xie, Lei Ma:
  AISTA 2021: Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis, Virtual Event, Denmark, 12 July 2021. ACM 2021, ISBN 978-1-4503-8541-1 [contents]
• 
  Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza:
  VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. ACM 2021, ISBN 978-1-4503-8546-6 [contents]

• 
  Sarfraz Khurshid, Corina S. Pasareanu:
  ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. ACM 2020, ISBN 978-1-4503-8008-9 [contents]
• 
  Yan Cai, Tingting Yu:
  TAV-CPS/IoT@ISSTA 2020: Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, Virtual Event, USA, July 19, 2020. ACM 2020, ISBN 978-1-4503-8032-4 [contents]

• 
  Dongmei Zhang, Anders Møller:
  Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. ACM 2019, ISBN 978-1-4503-6224-5 [contents]

• 
  Frank Tip, Eric Bodden:
  Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM 2018 [contents]
• 
  Julian Dolby, William G. J. Halfond, Ashish Mishra:
  Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018. ACM 2018, ISBN 978-1-4503-5939-9 [contents]
• 
  Davide Ancona, Gordon Pace:
  Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. EPTCS 302, 2019 [contents]

• 
  Tevfik Bultan, Koushik Sen:
  Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. ACM 2017, ISBN 978-1-4503-5076-1 [contents]
• 
  Hakan Erdogmus, Klaus Havelund:
  Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. ACM 2017, ISBN 978-1-4503-5077-8 [contents]

• 
  Andreas Zeller, Abhik Roychoudhury:
  Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. ACM 2016, ISBN 978-1-4503-4390-9 [contents]
• 
  Omer Tripp, Christoph M. Wintersteiger:
  Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016. CEUR Workshop Proceedings 1639, CEUR-WS.org 2016 [contents]
• 
  Danilo Ardagna, Giuliano Casale, André van Hoorn, Felix Willnecker:
  Proceedings of the 2nd International Workshop on Quality-Aware DevOps, QUDOS@ISSTA 2016, Saarbrücken, Germany, July 21, 2016. ACM 2016, ISBN 978-1-4503-4411-1 [contents]
• 
  Pekka Aho, Tanja E. J. Vos:
  Proceedings of the 2nd International Workshop on User Interface Test Automation, INTUITEST@ISSTA 2016, Saarbrücken, Germany, July 21, 2016. ACM 2016, ISBN 978-1-4503-4412-8 [contents]

• 
  Michal Young, Tao Xie:
  Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. ACM 2015, ISBN 978-1-4503-3620-8 [contents]
• 
  Tao Xie, Alessandro Orso, Judith Bishop, Nikolai Tillmann:
  Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14, 2015. ACM 2015, ISBN 978-1-4503-3711-3 [contents]

• 
  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 [contents]
• 
  Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner:
  Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014. ACM 2014, ISBN 978-1-4503-2934-7 [contents]

workshops: JAMAICA

• 
  Mauro Pezzè, Mark Harman:
  International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. ACM 2013, ISBN 978-1-4503-2159-4 [contents]
• 
  Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini:
  Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013. ACM 2013, ISBN 978-1-4503-2182-2 [contents]

workshops: JAMAICA

• 
  Mats Per Erik Heimdahl, Zhendong Su:
  International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM 2012, ISBN 978-1-4503-1454-1 [contents]
• 
  Eric Bodden, Madanlal Musuvathi:
  Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012. ACM 2012, ISBN 978-1-4503-1455-8 [contents]
• 
  Jeremy S. Bradbury, Simone do Rócio Senger de Souza:
  Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012. ACM 2012, ISBN 978-1-4503-1456-5 [contents]

• 
  Matthew B. Dwyer, Frank Tip:
  Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0562-4 [contents]
• 
  Leonardo Mariani, Xiangyu Zhang:
  Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011. ACM 2011, ISBN 978-1-4503-0811-3 [contents]
• 
  João Lourenço, Eitan Farchi:
  Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0809-0 [contents]

• 
  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 [contents]
• 
  Jonathan Cook, James A. Jones:
  Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010. ACM 2010, ISBN 978-1-4503-0137-4 [contents]
• 
  João Lourenço:
  Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010. ACM 2010, ISBN 978-1-4503-0136-7 [contents]

• 
  Gregg Rothermel, Laura K. Dillon:
  Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009. ACM 2009, ISBN 978-1-60558-338-9 [contents]
• 
  Ben Liblit, Andy Podgurski:
  Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009. 2009, ISBN 978-1-60558-656-4 [contents]
• 
  Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer:
  Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM 2009, ISBN 978-1-60558-655-7 [contents]

• 
  Barbara G. Ryder, Andreas Zeller:
  Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008. ACM 2008, ISBN 978-1-60558-050-0 [contents]
• 
  Premkumar T. Devanbu, Brendan Murphy, Nachiappan Nagappan, Thomas Zimmermann:
  Proceedings of the 2008 Workshop on Defects in Large Software Systems, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), DEFECTS 2008, Seattle, Washington, USA, July 20, 2008. ACM 2008, ISBN 978-1-60558-051-7 [contents]
• 
  Ben Liblit, Atanas Rountev:
  Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008. ACM 2008, ISBN 978-1-60558-054-8 [contents]
• 
  Shmuel Ur:
  Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008. ACM 2008, ISBN 978-1-60558-052-4 [contents]
• 
  Tevfik Bultan, Tao Xie:
  Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USA, July 21, 2008. ACM 2008, ISBN 978-1-60558-053-1 [contents]

• 
  David S. Rosenblum, Sebastian G. Elbaum:
  Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. ACM 2007, ISBN 978-1-59593-734-6 [contents]
• 
  Shmuel Ur, Eitan Farchi:
  Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007. ACM 2007, ISBN 978-1-59593-748-3 [contents]

• 
  Lori L. Pollock, Mauro Pezzè:
  Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. ACM 2006, ISBN 1-59593-263-1 [contents]
• 
  Johannes Mayer, Robert G. Merkel:
  Proceedings of the 1st International Workshop on Random Testing, RT 2006, Portland, Maine, USA, July 20, 2006. ACM 2006, ISBN 1-59593-457-X [contents]
• 
  Shmuel Ur, Eitan Farchi:
  Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006. ACM 2006, ISBN 1-59593-414-6 [contents]
• 
  Tevfik Bultan:
  Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), TAV-WEB 2006, Portland, Maine, USA, July 17, 2006. ACM 2006, ISBN 1-59593-458-8 [contents]
• 
  Robert M. Hierons, Henry Muccini:
  Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006. ACM 2006, ISBN 1-59593-459-6 [contents]
• 
  Roger T. Alexander, Stephan Herrmann, Dehla Sokenou:
  Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), WTAOP 2006, Portland, Maine, USA, July 20, 2006. ACM 2006, ISBN 1-59593-415-4 [contents]

• 
  George S. Avrunin, Gregg Rothermel:
  Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004. ACM 2004, ISBN 1-58113-820-2 [contents]

• 
  Phyllis G. Frankl:
  Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002. ACM 2002, ISBN 1-58113-562-9 [contents]

• 
  Debra J. Richardson, Mary Jean Harold:
  Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000. ACM 2000, ISBN 1-58113-266-2 [contents]

• 
  Mary Lou Soffa, Michal Young, Will Tracz:
  Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998. ACM 1998, ISBN 0-89791-971-8 [contents]

• 
  Steve J. Zeil, Will Tracz:
  Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996. ACM 1996, ISBN 0-89791-787-1 [contents]

• 
  Thomas J. Ostrand:
  Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994. ACM 1994, ISBN 0-89791-683-2 [contents]

• 
  Thomas J. Ostrand, Elaine J. Weyuker:
  Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993. ACM 1993, ISBN 0-89791-608-5 [contents]

• 
  William E. Howden:
  Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991, Victoria, British Columbia, Canada, October 8-10, 1991. ACM 1991, ISBN 0-89791-449-X [contents]

• 
  Richard A. Kemmerer:
  Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989. ACM 1989, ISBN 0-89791-342-6 [contents]

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.

last updated on 2025-05-15 21:29 CEST by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: