Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|