Search results for "ISSRE"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Alois Mayr, Reinhold Plösch, Michael Kläs, Constanza Lampasona, Matthias Saft	A Comprehensive Code-Based Quality Model for Embedded Systems: Systematic Development and Validation by Industrial Projects.	ISSRE	2012	DBLP DOI BibTeX RDF
1	João Carlos Cunha, Ricardo Barbosa 0003, Gilberto Rodrigues	On the Use of Boundary Scan for Code Coverage of Critical Embedded Software.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Yufeng Zhang 0001, Zhenbang Chen, Ji Wang 0001	Speculative Symbolic Execution.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Katerina Goseva-Popstojanova, Goce Anastasovski, Risto Pantev	Using Multiclass Machine Learning Methods to Classify Malicious Behaviors Aimed at Web Systems.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Yian Zhu, Yue Li 0006, Jingling Xue, Tian Tan 0001, Jialong Shi, Yang Shen, Chunyan Ma	What Is System Hang and How to Handle It.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Gigon Bae, Gregg Rothermel, Doo-Hwan Bae	On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon	Lightweight Static Analysis for GUI Testing.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Edward Condon, Michel Cukier	Using Population Characteristics to Build Forecasting Models for Computer Security Incidents.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Bertrand Sobesto, Michel Cukier, David Maimon	Are Computer Focused Crimes Impacted by System Configurations? An Empirical Study.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Mustafa Hammad, Jonathan Cook	Compositional Verification of Sensor Software Using Uppall.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Peter T. Popov, Vladimir Stankovic 0002, Lorenzo Strigini	An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs.	ISSRE	2012	DBLP DOI BibTeX RDF
1	João Antunes, Nuno Ferreira Neves	Recycling Test Cases to Detect Security Vulnerabilities.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot	Static Analysis of Model Transformations for Effective Test Generation.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Ferdian Thung, Shaowei Wang 0002, David Lo 0001, Lingxiao Jiang	An Empirical Study of Bugs in Machine Learning Systems.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo 0001	On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Teng Long, Il-Chul Yoon, Adam A. Porter, Alan Sussman, Atif M. Memon	Overlap and Synergy in Testing Software Components across Loosely Coupled Communities.	ISSRE	2012	DBLP DOI BibTeX RDF
1	William G. J. Halfond	Automated Checking of Web Application Invocations.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Young Joo Kim, Moonzoo Kim	Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Antonio Pecchia, Stefano Russo 0001	Detection of Software Failures through Event Logs: An Experimental Study.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory	Shared Execution for Efficiently Testing Product Lines.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Javier Alonso 0001, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi	The Nature of the Times to Flight Software Failure during Space Missions.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Myra B. Cohen, Si Huang, Atif M. Memon	AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Elmahdi Omar, Sudipto Ghosh	An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented Programming.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Lorena Gutiérrez-Madronal, Hossain Shahriar, Mohammad Zulkernine, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo	Mutation Testing of Event Processing Queries.	ISSRE	2012	DBLP DOI BibTeX RDF
1		23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012	ISSRE	2012	DBLP BibTeX RDF
1	Niklas Mellegård, Miroslaw Staron, Fredrik Törner	A Light-Weight Defect Classification Scheme for Embedded Automotive Software and Its Initial Evaluation.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Frédéric Massicotte, Yvan Labiche	On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Leonardo Mariani, Alessandro Marchetto 0001, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars	Revolution: Automatic Evolution of Mined Specifications.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Marc Frappier, Amel Mammar	An Assertions-Based Approach to Verifying the Absence Property Pattern.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Matt Staats, Pablo S. Loyola, Gregg Rothermel	Oracle-Centric Test Case Prioritization.	ISSRE	2012	DBLP DOI BibTeX RDF
1	René Just, Gregory M. Kapfhammer, Franz Schweiggert	Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler	Dynamic Analysis of Upgrades in C/C++ Software.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Nina Elisabeth Holt, Richard Torkar, Lionel C. Briand, Kai Hansen	State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid	A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno	Software Life-Extension: A New Countermeasure to Software Aging.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Nuno Antunes, Marco Vieira	Evaluating and Improving Penetration Testing in Web Services.	ISSRE	2012	DBLP DOI BibTeX RDF
1	Javier Alonso 0001, Iñigo Goiri, Jordi Guitart, Ricard Gavaldà, Jordi Torres	Optimal Resource Allocation in a Virtualized Software Aging Platform with Software Rejuvenation.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Shadi Abdul Khalek, Sarfraz Khurshid	Efficiently Running Test Suites Using Abstract Undo Operations.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky	Rigorous Development of Dependable Systems Using Fault Tolerance Views.	ISSRE	2011	DBLP DOI BibTeX RDF
1	João Antunes, Nuno Ferreira Neves	Using Behavioral Profiles to Detect Software Flaws in Network Servers.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Tadashi Dohi, Bojan Cukic (eds.)	IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011	ISSRE	2011	DBLP BibTeX RDF
1	Arshad Jhumka, Matthew Leeke	The Early Identification of Detector Locations in Dependable Software.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Xiao Qu, Mithun Acharya, Brian Robinson	Impact Analysis of Configuration Changes for Test Case Selection.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Anton Barua, Hossain Shahriar, Mohammad Zulkernine	Server Side Detection of Content Sniffing Attacks.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Lingming Zhang 0001, Darko Marinov, Lu Zhang 0023, Sarfraz Khurshid	An Empirical Study of JUnit Test-Suite Reduction.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Yan Cai 0001, W. K. Chan 0001	LOFT: Redundant Synchronization Event Removal for Data Race Detection.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Brady J. Garvin, Myra B. Cohen	Feature Interaction Faults Revisited: An Exploratory Study.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo 0001	Workload Characterization for Software Aging Analysis.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb	PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Frolin S. Ocariza Jr., Karthik Pattabiraman, Benjamin G. Zorn	JavaScript Errors in the Wild: An Empirical Study.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Elisabeth A. Nguyen, Alex G. Ellis	Experiences with Assurance Cases for Spacecraft Safing.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki	Efficient Analysis of Fault Trees with Voting Gates.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand	A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Yilei Zhang, Zibin Zheng, Michael R. Lyu	WSPred: A Time-Aware Personalized QoS Prediction Framework for Web Services.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Gang Shu, Zhuofu Bai, Andy Podgurski	Statistical Evaluation of Complex Input-Output Transformations.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel	A Hybrid Directed Test Suite Augmentation Technique.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Yunja Choi	Safety Analysis of Trampoline OS Using Model Checking: An Experience Report.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Kim Herzig, Andreas Zeller	Mining Cause-Effect-Chains from Version Histories.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Jing Zhao 0016, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias	Injecting Memory Leaks to Accelerate Software Failures.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Peter G. Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic 0002	Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Md. Junaid Arafeen, Hyunsook Do	Adaptive Regression Testing Strategy: An Empirical Study.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Lasitha Sandamali Dharmasena, Panlop Zeephongsekul, Chathuri L. Jayasinghe	Software Reliability Growth Models Based on Local Polynomial Modeling with Kernel Smoothing.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Kesari Mishra, Kishor S. Trivedi	Uncertainty Propagation through Software Dependability Models.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry	Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Indika Meedeniya, Lars Grunske	An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Prasanth Anbalagan, Mladen A. Vouk	Towards a Bayesian Approach in Modeling the Disclosure of Unique Security Faults in Open Source Projects.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Peter T. Popov, Lorenzo Strigini	Assessing Asymmetric Fault-Tolerant Software.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Marc Forster, Daniel Schneider 0001	Flexible, Any-Time Fault Tree Analysis with Component Logic Models.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Hiroyuki Okamura, Yusuke Etani, Tadashi Dohi	A Multi-factor Software Reliability Model Based on Logistic Regression.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Elisabeth A. Nguyen, Carlos F. Rexach, David P. Thorpe, Andrew E. Walther	The Importance of Data Quality in Software Reliability Modeling.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Boya Sun, Gang Shu, Andy Podgurski, Shirong Li, Shijie Zhang, Jiong Yang 0001	Propagating Bug Fixes with Fast Subgraph Matching.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Cristiano Bertolini, Alexandre Mota 0001, Eduardo Aranha	Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Stefano Russo 0001	Software Aging Analysis of the Linux Operating System.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira	Errors on Space Software Requirements: A Field Study and Application Scenarios.	ISSRE	2010	DBLP DOI BibTeX RDF
1	May Khalil, Yvan Labiche	On the Round Trip Path Testing Strategy.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Haroon Malik, Bram Adams, Ahmed E. Hassan	Pinpointing the Subsystems Responsible for the Performance Deviations in a Load Test.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Roger B. Dannenberg, Will Dormann, David Keaton, Robert C. Seacord, David Svoboda, Alex Volkovitsky, Timothy Wilson, Thomas Plum 0003	As-If Infinitely Ranged Integer Model.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Mark Grechanik, Christoph Csallner, Chen Fu, Qing Xie 0003	Is Data Privacy Always Good for Software Testing?	ISSRE	2010	DBLP DOI BibTeX RDF
1	Sean Banerjee, Hema Srikanth, Bojan Cukic	Log-Based Reliability Analysis of Software as a Service (SaaS).	ISSRE	2010	DBLP DOI BibTeX RDF
1	Rachel Burrows, Fabiano Cutigi Ferrari, Otávio Augusto Lazzarini Lemos, Alessandro Garcia 0001, François Taïani	The Impact of Coupling on the Fault-Proneness of Aspect-Oriented Programs: An Empirical Study.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Stephan Neuhaus, Thomas Zimmermann 0001	Security Trend Analysis with CVE Topic Models.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Hossain Shahriar, Mohammad Zulkernine	Client-Side Detection of Cross-Site Request Forgery Attacks.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Stefan Wagner 0001, Bernhard Schätz, Stefan Puchner, Peter Kock	A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Arin Zahalka, Katerina Goseva-Popstojanova, Jeffrey Zemerick	Empirical Evaluation of Factors Affecting Distinction between Failing and Passing Executions.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Mohan Sridharan, Akbar Siami Namin	Prioritizing Mutation Operators Based on Importance Sampling.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Karthik Pattabiraman, Benjamin G. Zorn	DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt	Computing the Number of Calls Dropped Due to Failures.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Vivek Iyer, Amit Kanitkar, Partha Dasgupta, Raghunathan Srinivasan	Preventing Overflow Attacks by Memory Randomization.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Florence Charreteur, Arnaud Gotlieb	Constraint-Based Test Input Generation for Java Bytecode.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Dominik Domis, Kai Höfig, Mario Trapp	A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Mike Papadakis, Nicos Malevris	Automatic Mutation Test Case Generation via Dynamic Symbolic Execution.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner	Detecting Dependences and Interactions in Feature-Oriented Design.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Gursimran Singh Walia, Jeffrey C. Carver	Evaluating the Use of Requirement Error Abstraction and Classification Method for Preventing Errors during Artifact Creation: A Feasibility Study.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel	Using Accelerated Life Tests to Estimate Time to Software Aging Failure.	ISSRE	2010	DBLP DOI BibTeX RDF
1	José Fonseca 0002, Marco Vieira, Henrique Madeira	The Web Attacker Perspective - A Field Study.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Hadi Hemmati, Lionel C. Briand	An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Nachiappan Nagappan, Andreas Zeller, Thomas Zimmermann 0001, Kim Herzig, Brendan Murphy	Change Bursts as Defect Predictors.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Amiya Kumar Maji, Kangli Hao, Salmin Sultana, Saurabh Bagchi	Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Ivano Alessandro Elia, José Fonseca 0002, Marco Vieira	Comparing SQL Injection Detection Tools Using Attack Injection: An Experimental Study.	ISSRE	2010	DBLP DOI BibTeX RDF

Publications at "ISSRE"( http://dblp.L3S.de/Venues/ISSRE )