ISSTA 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (265)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Committee Member in Program Committee for SPIN 2017
Mithun P. AcharyaAcharya, Mithun P. ABB Corporate Research Committee Member in Organizing Committee within the ISSTA TECPS-track
Abdulmajeed AlameerAlameer, Abdulmajeed University of Southern California, USA XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Automated Repair of Layout Cross Browser Issues using Search-Based Techniques
Karim AliAli, Karim University of Alberta Just-in-Time Static Analysis
Shaukat AliAli, Shaukat Simula Research Lab Committee Member in Organizing Committee within the ISSTA TECPS-track
Adil AlimAlim, Adil SUNY Albany, USA Effective Online Software Anomaly Detection
Amin AlipourAlipour, Amin University of HoustonUnited States Fault Injection in the Internet of Things Applications Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Paul AmmannAmmann, Paul George Mason University, USA Inferring Mutant Utility from Program Context
Snigdha AthaiyaAthaiya, Snigdha Inferring Page Models for Web Application Analysis Testing and Analysis of Web Applications using Page Models
B Christel BaierBaier, Christel TU Dresden, GermanyGermany Committee Member in Program Committee for SPIN 2017
Thomas BallBall, Thomas Microsoft ResearchUnited States Committee Member in Program Committee for SPIN 2017
Ezio BartocciBartocci, Ezio Technische Universität WienAustria Committee Member in Program Committee for SPIN 2017
David BasinBasin, David ETH Zurich, Switzerland Test Execution Checkpointing for Web Applications
Jaroslav BendíkBendík, Jaroslav Masaryk University Consistency Checking in Requirements Analysis
Michael BenediktBenedikt, Michael University of Oxford, UK ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Manuel BenzBenz, Manuel University of PaderbornGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Luca BerardinelliBerardinelli, Luca Johannes Kepler University LinzAustria Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
Christian BergerBerger, Christian Chalmers University of Technology, Sweden Committee Member in Organizing Committee within the ISSTA TECPS-track
Antonia BertolinoBertolino, Antonia CNR-ISTIItaly Committee Member in Program Committee for ISSTA 2017
Ivan BeschastnikhBeschastnikh, Ivan University of British ColumbiaCanada Committee Member in Program Committee within the ISSTA Demonstrations-track
Iury BessaBessa, Iury Federal University of Amazonas, Brazil Verifying Digital Systems with MATLAB
Dirk BeyerBeyer, Dirk LMU MunichGermany Committee Member in Program Committee for SPIN 2017
Armin BiereBiere, Armin Johannes Kepler UniversityAustria Committee Member in Program Committee for SPIN 2017
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of Luxembourg, Luxembourg Impact of Tool Support in Patch Construction
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Committee Member in Program Committee for ISSTA 2017 Just-in-Time Static Analysis
Nataniel Borges Jr.Borges Jr., Nataniel Saarland University Data Flow Oriented UI Testing
Dragan BosnackiBosnacki, Dragan Eindhoven University of TechnologyNetherlands Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017
Pietro BraioneBraione, Pietro University of Milano-Bicocca, Italy Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Tegan BrennanBrennan, Tegan Path Cost Analysis for Side Channel Detection
Zmago BrezocnikBrezocnik, Zmago University of MariborSlovenia Committee Member in Program Committee for SPIN 2017
Lionel BriandBriand, Lionel University of Luxembourg, LuxembourgLuxembourg Committee Member in Organizing Committee within the ISSTA TECPS-track
Yuriy BrunBrun, Yuriy University of Massachusetts, AmherstUnited States Demos Co-Chair in Organizing Committee for ISSTA 2017 Session Chair of Lightning Talks (part of ISSTA Demonstrations) Committee Member in Program Committee within the ISSTA Demonstrations-track
Renee BryceBryce, Renee University of North TexasUnited States Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Tristan BuchsBuchs, Tristan EPFL, SwitzerlandSwitzerland Test Execution Checkpointing for Web Applications
Tevfik BultanBultan, Tevfik University of California, Santa Barbara General Chair in Organizing Committee for ISSTA 2017 Session Chair of Tuesday Keynote (part of ISSTA Keynotes) ISSTA 2017 Opening ISSTA 2017 Closing
Taejoon ByunByun, Taejoon University of Minnesota Discovering Instructions for Robust Binary-Level Coverage Criteria
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Committee Member in Program Committee for ISSTA 2017 Session Chair of Improving Testing (part of ISSTA Technical Papers) Accelerating Array Constraints in Symbolic Execution
Casey CasalnuovoCasalnuovo, Casey University of California at Davis, USA GitcProc: A Tool for Processing and Classifying GitHub Commits
Abdelberi ChaabaneChaabane, Abdelberi Northeastern University, USA Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
Sagar ChakiChaki, Sagar Carnegie Mellon Software Engineering InstituteUnited States Committee Member in Program Committee for SPIN 2017
Lennon ChavesChaves, Lennon Federal University of Amazonas, BrazilBrazil Verifying Digital Systems with MATLAB
Feng ChenChen, Feng SUNY Albany, USA Effective Online Software Anomaly Detection
Mei-Hwa ChenChen, Mei-Hwa SUNY Albany, USA Effective Online Software Anomaly Detection
Yizhen ChenChen, Yizhen SUNY Albany, USA Effective Online Software Anomaly Detection
Shafiul Azam ChowdhuryChowdhury, Shafiul Azam University of Texas at ArlingtonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Duc-Hiep ChuChu, Duc-Hiep National University of Singapore JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Committee Member in Program Committee for SPIN 2017
James ClauseClause, James University of DelawareUnited States ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis framework
Myra CohenCohen, Myra University of Nebraska-LincolnUnited States Committee Member in Program Committee for ISSTA 2017
Lucas CordeiroCordeiro, Lucas University of OxfordUnited Kingdom Committee Member in Program Committee for SPIN 2017
Lucas C. CordeiroCordeiro, Lucas C. University of Oxford, UKUnited Kingdom Verifying Digital Systems with MATLAB
Christoph CsallnerCsallner, Christoph University of Texas at ArlingtonUnited States Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2017 Committee Member in Program Committee for ISSTA 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track
D Ermira DakaDaka, Ermira University of Sheffield, UK Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?
Daniel DeFreezDeFreez, Daniel University of California, DavisUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Giovanni DenaroDenaro, Giovanni University of Milano-Bicocca, Italy Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Carrick DetweilerDetweiler, Carrick University of Nebraska-Lincoln, USA Lightweight Detection of Physical Unit Inconsistencies without Program Annotations Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Nima DiniDini, Nima University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Yao DongDong, Yao Rensselaer Polytechnic InstituteUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Christophe DubachDubach, Christophe University of EdinburghUnited Kingdom ParTeCL: Parallel Testing using OpenCL Compiler-Assisted Test Acceleration on GPUs for Embedded Software
E Manuel EgeleEgele, Manuel Boston University, USA Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
Antoine El-HokayemEl-Hokayem, Antoine Grenoble Alpes University, France / Inria, France / CNRS, France THEMIS: A Tool for Decentralized Monitoring Algorithms Monitoring Decentralized Specifications
Sebastian ElbaumElbaum, Sebastian University of Nebraska-Lincoln, USA Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics Lightweight Detection of Physical Unit Inconsistencies without Program Annotations Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Madalina ErascuErascu, Madalina Session Chair of Session 11: Program Sketching (part of SPIN Full Paper)
Hakan ErdogmusErdogmus, Hakan Carnegie Mellon UniversityUnited States Program Co-Chair in Organizing Committee for SPIN 2017 Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 1 (part of SPIN Keynote)
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Publicity Chair in Organizing Committee for SPIN 2017 Session Chair of Session 10 (part of SPIN Keynote) THEMIS: A Tool for Decentralized Monitoring Algorithms Monitoring Decentralized Specifications
Xiaokang FanFan, Xiaokang Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
Earlence FernandesFernandes, Earlence University of Michigan Support for Security and Safety of Programmable IoT Systems
Paul FlikkemaFlikkema, Paul Northern Arizona University Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
Gordon FraserFraser, Gordon University of SheffieldUnited Kingdom Committee Member in Program Committee for ISSTA 2017 Session Chair of Symbolic Execution (part of ISSTA Technical Papers) Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?
Zhoulai FuFu, Zhoulai University of California, DavisUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
G Alessio GambiGambi, Alessio Saarland University, Germany CUT: Automatic Unit Testing in the Cloud
Johannes GeismannGeismann, Johannes University of PaderbornGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Thomas GlaserGlaser, Thomas TU Darmstadt, Germany An Actionable Performance Profiler for Optimizing the Order of Evaluations
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Committee Member in Program Committee for ISSTA 2017 Committee Member in Program Committee within the ISSTA Demonstrations-track
Patrice GodefroidGodefroid, Patrice Microsoft ResearchUnited States Committee Member in Program Committee for SPIN 2017
Arnaud GotliebGotlieb, Arnaud Simula Research Laboratory, NorwayNorway Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Susanne GrafGraf, Susanne VerimagFrance Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017
Mark GrechanikGrechanik, Mark University of Illinois at Chicago Committee Member in Organizing Committee within the ISSTA TECPS-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Committee Member in Program Committee for ISSTA 2017 Session Chair of Testing (part of ISSTA Technical Papers) Session Chair of Testing (part of ISSTA Doctoral Symposium) Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems One Test to Rule Them All A Suite of Tools for Making Effective Use of Automatically Generated Tests Committee Member in Program Committee within the ISSTA Doctoral Symposium-track
Radu GrosuGrosu, Radu Vienna University of TechnologyAustria Committee Member in Program Committee for SPIN 2017
Marco GuarnieriGuarnieri, Marco ETH Zurich, Switzerland Test Execution Checkpointing for Web Applications
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee for SPIN 2017
Alex GyoriGyori, Alex University of Illinois at Urbana-Champaign, USA Session Chair of Session 1 (part of ISSTA TECPS) Support for Security and Safety of Programmable IoT Systems Refining Interprocedural Change-Impact Analysis using Equivalence Relations
H William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Committee Member in Program Committee for ISSTA 2017 Session Chair of Static Analysis (part of ISSTA Technical Papers) XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Automated Repair of Layout Cross Browser Issues using Search-Based Techniques
Sylvain HalléHallé, Sylvain Université du Québec à Chicoutimi, CanadaCanada LabPal: Repeatable Computer Experiments Made Easy SealTest: A Simple Library for Test Sequence Generation
Quinn HanamHanam, Quinn University of British Columbia, CanadaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Dan HaoHao, Dan Peking UniversityChina Faster Mutation Analysis via Equivalence Modulo States
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Program Co-Chair in Organizing Committee for SPIN 2017 Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 2: Symbolic Verification (part of SPIN Full Paper) Session Chair of Session 1 (part of SPIN Keynote) Session Chair of Session 4 (part of SPIN Keynote)
Mats HeimdahlHeimdahl, Mats University of Minnesota Discovering Instructions for Robust Binary-Level Coverage Criteria Committee Member in Organizing Committee within the ISSTA TECPS-track
Josie HolmesHolmes, Josie Pennsylvania State University, USA Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems One Test to Rule Them All A Suite of Tools for Making Effective Use of Automatically Generated Tests
Gerard HolzmannHolzmann, Gerard NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017
Jenny HotzkowHotzkow, Jenny Saarland University Automatically Inferring and Enforcing User Expectations
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in Program Committee within the ISSTA Demonstrations-track
Aftab HussainHussain, Aftab University of HoustonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of California, IrvineUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gunel JahangirovaJahangirova, Gunel Fondazione Bruno Kessler Oracle Problem in Software Testing
Rajeev JoshiJoshi, Rajeev NASA/Caltech Jet Propulsion LaboratoryUnited States Programme Committee in Program Committee for SPIN 2017
Christine JulienJulien, Christine University of Texas at Austin Committee Member in Organizing Committee within the ISSTA TECPS-track
René JustJust, René University of Massachusetts, USA Inferring Mutant Utility from Program Context
K Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Efficient Computation of Happens-Before Relation for Event-Driven Programs
Gregory KapfhammerKapfhammer, Gregory Allegheny College, USA ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle
Sebastian KapplerKappler, Sebastian Saarland University, Germany CUT: Automatic Unit Testing in the Cloud
Deborah S. KatzKatz, Deborah S. Carnegie Mellon University Understanding Intended Behavior Using Models of Low-level Signals
Kevin KellarKellar, Kevin One Test to Rule Them All
Raphael KhouryKhoury, Raphael Université du Québec à Chicoutimi, Canada SealTest: A Simple Library for Test Sequence Generation
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Committee Member in Program Committee for ISSTA 2017 Committee Member in Program Committee for SPIN 2017 Boosting Spectrum-Based Fault Localization using PageRank
Dongsun KimKim, Dongsun University of LuxembourgLuxembourg Impact of Tool Support in Patch Construction
Moonzoo KimKim, Moonzoo KAISTKorea, South Committee Member in Program Committee for ISSTA 2017
Yunho KimKim, Yunho KAISTKorea, South Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Engin KirdaKirda, Engin Northeastern University, USA Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
Jacques KleinKlein, Jacques University of Luxembourg Impact of Tool Support in Patch Construction
William KochKoch, William Boston University, USA Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
Raghavan KomondoorKomondoor, Raghavan Indian Institute of Science, BangaloreIndia Testing and Analysis of Web Applications using Page Models
Anil KoyuncuKoyuncu, Anil University of Luxembourg, Luxembourg Impact of Tool Support in Patch Construction
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Committee Member in Program Committee for ISSTA 2017
Daniel KroeningKroening, Daniel University of Oxford Verifying Digital Systems with MATLAB
Christopher KruegelKruegel, Christopher University of California, Santa Barbara Keynote Talk: Finding Vulnerabilities in Embedded Software
Bob KurtzKurtz, Bob George Mason University, USA Inferring Mutant Utility from Program Context
Markus KusanoKusano, Markus Virginia TechUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Yonghwi KwonKwon, Yonghwi Purdue UniversityUnited States CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
L Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft Research Refining Interprocedural Change-Impact Analysis using Equivalence Relations
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Johannes LampelLampel, Johannes Saarland University, Germany CUT: Automatic Unit Testing in the Cloud
Kim LarsenLarsen, Kim Aalborg UniversityDenmark Committee Member in Program Committee for SPIN 2017
Claire Le GouesLe Goues, Claire Carnegie Mellon UniversityUnited States JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Committee Member in Program Committee within the ISSTA Demonstrations-track
Yves Le TraonLe Traon, Yves University of LuxembourgLuxembourg Committee Member in Program Committee for ISSTA 2017 Impact of Tool Support in Patch Construction
Xuan-Bach D. LeLe, Xuan-Bach D. Singapore Management University, SingaporeSingapore JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Axel LegayLegay, Axel Session Chair of Session 6: Runtime Enforcement (part of SPIN Full Paper)
Owolabi LegunsenLegunsen, Owolabi University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Stefan LeueLeue, Stefan University of KonstanzGermany Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017 Session Chair of Session 8: Program Synthesis (part of SPIN Full Paper)
Ding LiLi, Ding NEC LabsChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Wanchun LiLi, Wanchun ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis framework
Xia LiLi, Xia University of Texas at Dallas, USA Boosting Spectrum-Based Fault Localization using PageRank
Xuandong LiLi, Xuandong Nanjing University Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
Ben LiblitLiblit, Ben University of Wisconsin–MadisonUnited States Doctoral Symposium Chair in Organizing Committee for ISSTA 2017 Session Chair of Keynote (part of ISSTA Doctoral Symposium) Chair in Program Committee within the ISSTA Doctoral Symposium-track
Eddie LimaLima, Eddie Samsung Electronics, Brazil Verifying Digital Systems with MATLAB
Daren LiuLiu, Daren SUNY Albany, USA Effective Online Software Anomaly Detection
Benjamin LivshitsLivshits, Benjamin Imperial College London, UK Just-in-Time Static Analysis
David LoLo, David Singapore Management UniversitySingapore JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Andreas LöscherLöscher, Andreas Targeted Property-Based Testing
M Sonal MahajanMahajan, Sonal University of Southern California, USA XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Automated Repair of Layout Cross Browser Issues using Search-Based Techniques
Pallavi MaiyaMaiya, Pallavi Indian Institute of Science, Bangalore Efficient Computation of Happens-Before Relation for Event-Driven Programs
Dusica MarijanMarijan, Dusica Simula Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Support for Security and Safety of Programmable IoT Systems Committee Member in Program Committee within the ISSTA Doctoral Symposium-track Committee Member in Organizing Committee within the ISSTA TECPS-track
Björn MathisMathis, Björn Saarland University Dynamic Tainting for Automatic Test Case Generation
Andrea MattavelliMattavelli, Andrea Imperial College LondonUnited Kingdom Accelerating Array Constraints in Symbolic Execution Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Stephen McCamantMcCamant, Stephen University of Minnesota Session Chair of Session 3 (part of ISSTA TECPS) Discovering Instructions for Robust Binary-Level Coverage Criteria Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Automated Repair of Layout Cross Browser Issues using Search-Based Techniques ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle
Eric MercerMercer, Eric Brigham Young UniversityUnited States Committee Member in Program Committee within the ISSTA Demonstrations-track
Pedro Merino GomezMerino Gomez, Pedro Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 7: Model Checking (part of SPIN Short Paper)
Ali MesbahMesbah, Ali University of British ColumbiaCanada Committee Member in Program Committee for ISSTA 2017
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee for ISSTA 2017
Alice MillerMiller, Alice University of GlasgowUnited Kingdom Committee Member in Program Committee for SPIN 2017 Committee Member in Program Committee for SPIN 2017
Martin MonperrusMonperrus, Martin Impact of Tool Support in Patch Construction
Morten MossigeMossige, Morten University of Stavanger, Norway / ABB Robotics, Norway Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Shaikh MostafaMostafa, Shaikh University of Texas at San Antonio, USA Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software
Rashmi MudduluruMudduluru, Rashmi Microsoft Research IndiaIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State University Just-in-Time Static Analysis
Anders MøllerMøller, Anders Aarhus UniversityDenmark ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
N Lisa Nguyen Quang DoNguyen Quang Do, Lisa Fraunhofer IEMGermany Just-in-Time Static Analysis
Dmitry NurmuradovNurmuradov, Dmitry University of North Texas, USA Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
O Carlos OliveiraOliveira, Carlos Monash University Mapping Hardness of Automated Software Testing
John-Paul OreOre, John-Paul University of Nebraska-Lincoln, USAUnited States Lightweight Detection of Physical Unit Inconsistencies without Program Annotations Invited Talk: Detecting Bugs in Robotic Systems Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Alessandro OrsoOrso, Alessandro Georgia TechUnited States ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis framework Committee Member in Program Committee within the ISSTA Doctoral Symposium-track
Alex OrsoOrso, Alex Georgia Institute of Technology United States Session Chair of Fault Localization and Mutation Testing (part of ISSTA Technical Papers) Session Chair of Modeling and Learning (part of ISSTA Doctoral Symposium)
P Nimrod PartushPartush, Nimrod Technion Refining Interprocedural Change-Impact Analysis using Equivalence Relations
Jibesh PatraPatra, Jibesh Technical University of DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Doron PeledPeled, Doron Bar Ilan UniversityIsrael Committee Member in Program Committee for SPIN 2017
David Mitchel PerryPerry, David Mitchel Purdue University Accelerating Array Constraints in Symbolic Execution
Suzette PersonPerson, Suzette University of Nebraska-LincolnUnited States Workshops Co-Chair in Organizing Committee for ISSTA 2017 Committee Member in Program Committee within the ISSTA Demonstrations-track
Justyna PetkePetke, Justyna University College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Demonstrations-track
Mauro PezzèPezzè, Mauro University of Milano-Bicocca, Italy Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Quoc-Sang PhanPhan, Quoc-Sang Carnegie Mellon Silicon ValleyUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Marco PistoiaPistoia, Marco IBM ResearchUnited States Committee Member in Program Committee within the ISSTA Doctoral Symposium-track
Michael PradelPradel, Michael TU DarmstadtGermany Committee Member in Program Committee for ISSTA 2017 Session Chair of Program Repair and Patching (part of ISSTA Technical Papers) An Actionable Performance Profiler for Optimizing the Order of Evaluations
Atul PrakashPrakash, Atul University of Michigan Support for Security and Safety of Programmable IoT Systems
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research CenterUnited States Committee Member in Program Committee for ISSTA 2017 Awards Chair in Organizing Committee for SPIN 2017 Committee Member in Program Committee for SPIN 2017 Committee Member in Organizing Committee within the ISSTA TECPS-track
R Amir RahmatiRahmati, Amir University of Michigan Support for Security and Safety of Programmable IoT Systems
Ajitha RajanRajan, Ajitha University of Edinburgh, UK ParTeCL: Parallel Testing using OpenCL Compiler-Assisted Test Acceleration on GPUs for Embedded Software
Baishakhi RayRay, Baishakhi GitcProc: A Tool for Processing and Classifying GitHub Commits
Sanjai RayadurgamRayadurgam, Sanjai University of Minnesota Discovering Instructions for Robust Binary-Level Coverage Criteria
Steven P. ReissReiss, Steven P. Brown University, USA Identifying Test-Suite-Overfitted Patches through Test Case Generation
William RobertsonRobertson, William Northeastern University, USA Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications
Rodney RodriguezRodriguez, Rodney University of Texas at San Antonio, USA Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries
José Miguel RojasRojas, José Miguel University of SheffieldUnited Kingdom Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2? Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Antoine RolletRollet, Antoine Session Chair of Session 13: Testing (part of SPIN Short Paper)
Nico RosnerRosner, Nico University of California, Santa BarbaraUnited States Publicity Chair in Organizing Committee for ISSTA 2017
Cindy Rubio-GonzálezRubio-González, Cindy University of California, DavisUnited States Committee Member in Program Committee for ISSTA 2017 GitcProc: A Tool for Processing and Classifying GitHub Commits
Neha RungtaRungta, Neha Amazon Web ServicesUnited States Demos Co-Chair in Organizing Committee for ISSTA 2017 Committee Member in Program Committee for SPIN 2017 Session Chair of Lightning Talks (part of ISSTA Demonstrations) Session Chair of Session 3: Model Checking (part of SPIN Full Paper) Committee Member in Program Committee within the ISSTA Demonstrations-track
Theo RuysRuys, Theo RUwiseNetherlands Committee Member in Program Committee for SPIN 2017
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Session Chair of Session 9: Model Checking (part of SPIN Full Paper) Targeted Property-Based Testing
Alberto SalmeronSalmeron, Alberto Session Chair of Session 5: Code Verification (part of SPIN Full Paper)
Mark SantolucitoSantolucito, Mark Version Space Learning for Verification on Temporal Differentials
Federica SarroSarro, Federica University College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Demonstrations-track
Marija SelakovicSelakovic, Marija TU Darmstadt, Germany An Actionable Performance Profiler for Optimizing the Order of Evaluations
Koushik SenSen, Koushik University of California, BerkeleyUnited States Program Chair in Organizing Committee for ISSTA 2017 Chair in Program Committee for ISSTA 2017 Session Chair of Monday Keynote (part of ISSTA Keynotes) ISSTA 2017 Opening ISSTA 2017 Closing
Sina ShamshiriShamshiri, Sina University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Vaibhav SharmaSharma, Vaibhav University of MinnesotaUnited States Discovering Instructions for Robust Binary-Level Coverage Criteria
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the ISSTA Demonstrations-track
Yangqingwei ShiShi, Yangqingwei Peking University Faster Mutation Analysis via Equivalence Modulo States
Yan ShoshitaishviliShoshitaishvili, Yan UC Santa Barbara Committee Member in Organizing Committee within the ISSTA TECPS-track
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Committee Member in Program Committee for ISSTA 2017
Justin SmithSmith, Justin North Carolina State UniversityUnited States Just-in-Time Static Analysis
Scott SmolkaSmolka, Scott Stony Brook UniversityUnited States Committee Member in Program Committee for SPIN 2017
Mary Lou SoffaSoffa, Mary Lou University of Virginia Session Chair of Analysis (part of ISSTA Doctoral Symposium) Committee Member in Program Committee within the ISSTA Doctoral Symposium-track
Jeongju SohnSohn, Jeongju KAIST, South Korea FLUCCS: Using Code and Change Metrics to Improve Fault Localization
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States Keynote Talk: Advances and Challenges in Program Synthesis
Ben SpencerSpencer, Ben University of OxfordUnited Kingdom ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Helge SpiekerSpieker, Helge Simula Research Laboratory, Norway Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Manu SridharanSridharan, Manu UberUnited States Committee Member in Program Committee for ISSTA 2017
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States Committee Member in Program Committee within the ISSTA Demonstrations-track
Scott StollerStoller, Scott Stony Brook UniversityUnited States Committee Member in Program Committee for SPIN 2017
Zhendong SuSu, Zhendong University of California, DavisUnited States Committee Member in Program Committee for ISSTA 2017
Yagnik SuchakSuchak, Yagnik University of California at Davis, USA GitcProc: A Tool for Processing and Classifying GitHub Commits
Yulei SuiSui, Yulei Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
Chengnian SunSun, Chengnian University of California, DavisUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jun SunSun, Jun Singapore University of Technology and DesignSingapore Committee Member in Program Committee for SPIN 2017
Wei SunSun, Wei University of Nebraska-Lincoln, USA Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics
T Frank TipTip, Frank Northeastern UniversityUnited States Session Chair of The Web (part of ISSTA Technical Papers) ISSTA 2018 Preview
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States Committee Member in Program Committee for SPIN 2017 Committee Member in Program Committee within the ISSTA Demonstrations-track
Mohammad Torabi DashtiTorabi Dashti, Mohammad ETH Zurich, Switzerland Test Execution Checkpointing for Web Applications
Stavros TripakisTripakis, Stavros Aalto University and UC BerkeleyFinland Committee Member in Program Committee for SPIN 2017
Hong-Linh TruongTruong, Hong-Linh TU Wien Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
Petar TsankovTsankov, Petar ETH ZurichSwitzerland Test Execution Checkpointing for Web Applications
Nestan TsiskaridzeTsiskaridze, Nestan University of California, Santa BarbaraUnited States Local Organizing Chair in Organizing Committee for ISSTA 2017
V Franck van Breugelvan Breugel, Franck York University, Canada ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Jaco van de Polvan de Pol, Jaco University of Twente Session Chair of Session 12: Testing (part of SPIN Full Paper)
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica (CWI) and Eindhoven University of Technology (TUE)Netherlands Committee Member in Program Committee for ISSTA 2017
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017 JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
W Kristen Walcott-JusticeWalcott-Justice, Kristen Session Chair of Session 2 (part of ISSTA TECPS)
Thomas WalshWalsh, Thomas University of Sheffield, UK ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle
Bo WangWang, Bo Peking University, China Faster Mutation Analysis via Equivalence Modulo States
Chao WangWang, Chao University of Southern CaliforniaUnited States Workshops Co-Chair in Organizing Committee for ISSTA 2017 Committee Member in Program Committee for ISSTA 2017
Chao WangWang, Chao Session Chair of Concurrency (part of ISSTA Technical Papers)
Chao WangWang, Chao University of Southern CaliforniaUnited States Invited Talk: Security by Compilation: An Automated Approach to Side-channel Resistance
Farn WangWang, Farn National Taiwan UniversityTaiwan Committee Member in Program Committee for SPIN 2017
Kaiyuan WangWang, Kaiyuan University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Linzhang WangWang, Linzhang Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
Weihang WangWang, Weihang Purdue UniversityUnited States CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio, USA Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software
Yu WangWang, Yu Nanjing University, China Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
Michael WhalenWhalen, Michael University of MinnesotaUnited States Committee Member in Program Committee for SPIN 2017 Keynote Talk: Test Metrics and Generation Strategies for Next-Generation CPS Software Committee Member in Organizing Committee within the ISSTA TECPS-track
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Committee Member in Program Committee for SPIN 2017
X Liao XiangkeXiangke, Liao National University of Defense Technology, China Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
Tao XieXie, Tao University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee for ISSTA 2017 Session Chair of Dynamic Analysis (part of ISSTA Technical Papers) PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software
Qi XinXin, Qi Brown University, USA Identifying Test-Suite-Overfitted Patches through Test Case Generation
Yingfei XiongXiong, Yingfei Peking University Faster Mutation Analysis via Equivalence Modulo States
Dongyan XuXu, Dongyan Purdue University, USA CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
Harry XuXu, Harry University of California, IrvineUnited States Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track
Lisong XuXu, Lisong University of Nebraska-Lincoln, USA Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics
Jingling XueXue, Jingling UNSW Australia Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++
Y Vanya YanevaYaneva, Vanya University of Edinburgh, UKUnited Kingdom ParTeCL: Parallel Testing using OpenCL Compiler-Assisted Test Acceleration on GPUs for Embedded Software
Wei YangYang, Wei University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Ming YingYing, Ming SUNY Albany, USA Effective Online Software Anomaly Detection
Shin YooYoo, Shin Korea Advanced Institute of Science and TechnologyKorea, South FLUCCS: Using Code and Change Metrics to Improve Fault Localization
Tingting YuYu, Tingting University of KentuckyUnited States Session Chair of Keynote (part of ISSTA TECPS) Invited Talk: Testing Evolving Embedded Systems Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Chair in Organizing Committee within the ISSTA TECPS-track
Z Andreas ZellerZeller, Andreas Saarland UniversityGermany Session Chair of ISSTA 2017 Impact Paper Award (part of ISSTA Agenda) Session Chair of Experience Report (part of ISSTA Technical Papers) What makes useful research? CUT: Automatic Unit Testing in the Cloud
Lingming ZhangZhang, Lingming Boosting Spectrum-Based Fault Localization using PageRank
Lu ZhangZhang, Lu Peking University Faster Mutation Analysis via Equivalence Modulo States
Mengshi ZhangZhang, Mengshi University of Texas at Austin, USA Boosting Spectrum-Based Fault Localization using PageRank
Qirun ZhangZhang, Qirun University of California, DavisUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Committee Member in Program Committee for ISSTA 2017 Accelerating Array Constraints in Symbolic Execution CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
Jianhua ZhaoZhao, Jianhua Nanjing University, China Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
Yunhui ZhengZheng, Yunhui IBM Research CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program

ISSTA 2017 Contributors

Results (265)

Tracks

Co-hosted Conferences