Abstract is missing.
- An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented ProgrammingElmahdi Omar, Sudipto Ghosh. 1-10 [doi]
- Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation AnalysisRené Just, Gregory M. Kapfhammer, Franz Schweiggert. 11-20 [doi]
- Mutation Testing of Event Processing QueriesLorena Gutiérrez-Madronal, Hossain Shahriar, Mohammad Zulkernine, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo. 21-30 [doi]
- Detection of Software Failures through Event Logs: An Experimental StudyAntonio Pecchia, Stefano Russo. 31-40 [doi]
- An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse ProgramsPeter T. Popov, Vladimir Stankovic, Lorenzo Strigini. 41-50 [doi]
- Hybrid Statistical Model Checking Technique for Reliable Safety Critical SystemsYoung-Joo Kim, Moonzoo Kim. 51-60 [doi]
- On the Verification and Validation of Signature-Based, Network Intrusion Detection SystemsFrédéric Massicotte, Yvan Labiche. 61-70 [doi]
- Using Population Characteristics to Build Forecasting Models for Computer Security IncidentsEdward Condon, Michel Cukier. 71-80 [doi]
- Using Multiclass Machine Learning Methods to Classify Malicious Behaviors Aimed at Web SystemsKaterina Goseva-Popstojanova, Goce Anastasovski, Risto Pantev. 81-90 [doi]
- Dynamic Analysis of Upgrades in C/C++ SoftwareFabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler. 91-100 [doi]
- Speculative Symbolic ExecutionYufeng Zhang, Zhenbang Chen, Ji Wang. 101-110 [doi]
- Automated Checking of Web Application InvocationsWilliam G. J. Halfond. 111-120 [doi]
- Improving Coverage-Based Localization of Multiple Faults Using Algorithms from Integer Linear ProgrammingFriedrich Steimann, Marcus Frenkel. 121-130 [doi]
- Software Life-Extension: A New Countermeasure to Software AgingFumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno. 131-140 [doi]
- What Is System Hang and How to Handle ItYian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma. 141-150 [doi]
- Data Loss Prevention Based on Data-Driven Usage ControlTobias Wüchner, Alexander Pretschner. 151-160 [doi]
- Lightweight Automated Testing with Adaptation-Based ProgrammingAlex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez. 161-170 [doi]
- Overlap and Synergy in Testing Software Components across Loosely Coupled CommunitiesTeng Long, Il-Chul Yoon, Adam A. Porter, Alan Sussman, Atif M. Memon. 171-180 [doi]
- On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical StudyGigon Bae, Gregg Rothermel, Doo-Hwan Bae. 181-190 [doi]
- Are Computer Focused Crimes Impacted by System Configurations? An Empirical StudyBertrand Sobesto, Michel Cukier, David Maimon. 191-200 [doi]
- Evaluating and Improving Penetration Testing in Web ServicesNuno Antunes, Marco Vieira. 201-210 [doi]
- On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQLAntonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo. 211-220 [doi]
- Shared Execution for Efficiently Testing Product LinesChang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory. 221-230 [doi]
- Recycling Test Cases to Detect Security VulnerabilitiesJoão Antunes, Nuno Ferreira Neves. 231-240 [doi]
- Revolution: Automatic Evolution of Mined SpecificationsLeonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars. 241-250 [doi]
- AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIsMyra B. Cohen, Si Huang, Atif M. Memon. 251-260 [doi]
- A Light-Weight Defect Classification Scheme for Embedded Automotive Software and Its Initial EvaluationNiklas Mellegård, Miroslaw Staron, Fredrik Törner. 261-270 [doi]
- An Empirical Study of Bugs in Machine Learning SystemsFerdian Thung, Shaowei Wang, David Lo, Lingxiao Jiang. 271-280 [doi]
- A Comprehensive Code-Based Quality Model for Embedded Systems: Systematic Development and Validation by Industrial ProjectsAlois Mayr, Reinhold Plösch, Michael Kläs, Constanza Lampasona, Matthias Saft. 281-290 [doi]
- Static Analysis of Model Transformations for Effective Test GenerationJean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot. 291-300 [doi]
- Lightweight Static Analysis for GUI TestingStephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon. 301-310 [doi]
- Oracle-Centric Test Case PrioritizationMatt Staats, Pablo Loyola, Gregg Rothermel. 311-320 [doi]
- State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path StrategiesNina Elisabeth Holt, Richard Torkar, Lionel C. Briand, Kai Hansen. 321-330 [doi]
- The Nature of the Times to Flight Software Failure during Space MissionsJavier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi. 331-340 [doi]
- On the Use of Boundary Scan for Code Coverage of Critical Embedded SoftwareJoão Carlos Cunha, Ricardo Barbosa, Gilberto Rodrigues. 341-350 [doi]
- Compositional Verification of Sensor Software Using UppallMustafa Hammad, Jonathan Cook. 351-360 [doi]
- An Assertions-Based Approach to Verifying the Absence Property PatternMarc Frappier, Amel Mammar. 361-370 [doi]
- A MARTE Extension for Global Scheduling Analysis of Multiprocessor SystemsAmina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid. 371-379 [doi]