Search results for "ICST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Henri Heiskanen, Antti Jääskeläinen, Mika Katara	Debug Support for Model-Based GUI Testing.	ICST	2010	DBLP DOI BibTeX RDF
1	Jussi Kasurinen	Elaborating Software Test Processes and Strategies.	ICST	2010	DBLP DOI BibTeX RDF	software testing, empirical study, test strategy, test process improvement
1	Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza	Challenges with Software Verification and Validation Activities in the Space Industry.	ICST	2010	DBLP DOI BibTeX RDF	European Cooperation for Space Standardization, case study, verification and validation
1	Thomas Zimmermann 0001, Nachiappan Nagappan, Laurie A. Williams	Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista.	ICST	2010	DBLP DOI BibTeX RDF	Complexity, Metrics, Prediction, Dependencies, Coverage, Vulnerabilities, Organizational Structure, Churn
1	Andrea Arcuri	It Does Matter How You Normalise the Branch Distance in Search Based Software Testing.	ICST	2010	DBLP DOI BibTeX RDF	Branch Distance, Search Based Software Testing, Genetic Algorithms, Simulated Annealing, Theory, Test Data Generation
1	Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber	Fault Detection Likelihood of Test Sequence Length.	ICST	2010	DBLP DOI BibTeX RDF	Software Testing, Graphical User Interfaces, Software Reliability, Event Sequence Graphs
1	Francesco De Angelis 0001, Andrea Polini, Guglielmo De Angelis	A Counter-Example Testing Approach for Orchestrated Services.	ICST	2010	DBLP DOI BibTeX RDF	Counter-example based Testing, Service Testing, Service Orchestrations
1	Mijung Kim, Saurabh Sinha, Carsten Görg, Hina Shah, Mary Jean Harrold, Mangala Gowri Nanda	Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes.	ICST	2010	DBLP DOI BibTeX RDF	Bug neighborhood analysis, incomplete bug fixes, null dereference, static analysis
1	Muhammad-Naeem Irfan	State Machine Inference in Testing Context with Long Counterexamples.	ICST	2010	DBLP DOI BibTeX RDF	state machine inference, finite state machine, black box, counterexample
1	Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb	Explanation-Based Generalization of Infeasible Path.	ICST	2010	DBLP DOI BibTeX RDF	constraint-based explanation, test input generation, dynamic symbolic execution
1	Michael Mlynarski	Holistic Model-Based Testing for Business Information Systems.	ICST	2010	DBLP DOI BibTeX RDF	model transformation, model-based testing, test selection, test design, test model
1	Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat	An Industrial Survey on Contemporary Aspects of Software Testing.	ICST	2010	DBLP DOI BibTeX RDF	testing practices, agile testing, Software testing
1	Daniele Grasso, Alessandro Fantechi, Alessio Ferrari 0001, Carlo Becheri, Stefano Bacherini	Model Based Testing and Abstract Interpretation in the Railway Signaling Context.	ICST	2010	DBLP DOI BibTeX RDF	abstract interpretation, model based testing, safety critical, railway signaling
1	Emelie Engström	Regression Test Selection and Product Line System Testing.	ICST	2010	DBLP DOI BibTeX RDF	software product line testing, regression testing, test coverage, test case selection, literature review, industrial practices
1	Shali Yan, Zhenyu Chen 0001, Zhihong Zhao, Chen Zhang, Yuming Zhou	A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information.	ICST	2010	DBLP DOI BibTeX RDF	cluster filtering, cluster sampling, execution spectra, test selection
1	Daniel Sinnig, Ferhat Khendek, Patrice Chalin	A Formal Model for Generating Integrated Functional and User Interface Test Cases.	ICST	2010	DBLP DOI BibTeX RDF	User Interface Testing, Task Models, Functional Testing, Labeled Transition Systems, Use Case Models
1	Stephan Weißleder	Simulated Satisfaction of Coverage Criteria on UML State Machines.	ICST	2010	DBLP DOI BibTeX RDF	UML State Machines, Testing, Model Transformations, Coverage Criteria
1	Ivan Porres, Irum Rauf	From Nondeterministic UML Protocol Statemachines to Class Contracts.	ICST	2010	DBLP DOI BibTeX RDF	Protocol Statemachines, class contracts
1	Raúl A. Santelices, Mary Jean Harrold, Alessandro Orso	Precisely Detecting Runtime Change Interactions for Evolving Software.	ICST	2010	DBLP DOI BibTeX RDF	program merging, regression testing, slicing, impact analysis, change analysis
1	Wes Masri, Rawad Abou Assi	Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization.	ICST	2010	DBLP DOI BibTeX RDF	coincidental correctness, software testing, fault localization
1	Vidroha Debroy, W. Eric Wong	Using Mutation to Automatically Suggest Fixes for Faulty Programs.	ICST	2010	DBLP DOI BibTeX RDF	fault-fixing, software testing, program debugging, fault localization, mutation
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	MbSRT2: Model-Based Selective Regression Testing with Traceability.	ICST	2010	DBLP DOI BibTeX RDF	model-based regression test selection, UML, traceability
1	Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff	Verified Firewall Policy Transformations for Test Case Generation.	ICST	2010	DBLP DOI BibTeX RDF	model-based testing, security testing
1	Andrea Arcuri	Longer is Better: On the Role of Test Sequence Length in Software Testing.	ICST	2010	DBLP DOI BibTeX RDF	State Problem, Length, Software Testing, Evolutionary Testing, Test Sequence, Object-Oriented Software, Search Based Software Engineering
1	Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar	Text2Test: Automated Inspection of Natural Language Use Cases.	ICST	2010	DBLP DOI BibTeX RDF	Text2Test, Testing, Requirements, Analysis, Use Cases, Automated Inspection
1	Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon	Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines.	ICST	2010	DBLP DOI BibTeX RDF	Model-based Engineering and Testing, T-wise and pairwise, Test Generation, Software Product Lines, Alloy
1	Dianxiang Xu, Junhua Ding	Prioritizing State-Based Aspect Tests.	ICST	2010	DBLP DOI BibTeX RDF	software testing, aspect-oriented programming, finite state machine, model-based testing, test prioritization
1	Odile Laurent	Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.	ICST	2010	DBLP DOI BibTeX RDF	Formal methods, testing strategy, validation and verification, automatic test case generation
1	Panduka Nagahawatte, Hyunsook Do	The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects.	ICST	2010	DBLP DOI BibTeX RDF	residual defects, empirical study, Regression testing, test case prioritization
1	Danny Roest, Ali Mesbah 0001, Arie van Deursen	Regression Testing Ajax Applications: Coping with Dynamism.	ICST	2010	DBLP DOI BibTeX RDF	dynamic interfaces, web application, regression testing, ajax
1	Márk Asztalos, László Lengyel, Tihamer Levendovszky	Towards Automated, Formal Verification of Model Transformations.	ICST	2010	DBLP DOI BibTeX RDF	verification, model transformation, automation
1	Cristiano Bertolini, Alexandre Mota 0001, Eduardo Aranha, Cristiano Ferraz	GUI Testing Techniques Evaluation by Designed Experiments.	ICST	2010	DBLP DOI BibTeX RDF	Design of Experiments, GUI Testing, Black-box
1	Wei Jin 0001, Alessandro Orso, Tao Xie 0001	Automated Behavioral Regression Testing.	ICST	2010	DBLP DOI BibTeX RDF	software evolution, dynamic analysis, Regression testing
1	David Schuler, Andreas Zeller	(Un-)Covering Equivalent Mutants.	ICST	2010	DBLP DOI BibTeX RDF	dynamic analysis, mutation testing, code coverage
1	Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada	Online Testing Framework for Web Services.	ICST	2010	DBLP DOI BibTeX RDF	Composite of Web Services, Timed Extended Finite State Machine, Test Generation, BPEL, Conformance Testing, Online Testing
1	Margus Veanes, Peli de Halleux, Nikolai Tillmann	Rex: Symbolic Regular Expression Explorer.	ICST	2010	DBLP DOI BibTeX RDF	regular expressions, finite automata, strings, satisfiability modulo theories
1	Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.	ICST	2010	DBLP DOI BibTeX RDF	symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
1	Yi Wei 0001, Serge Gebhardt, Bertrand Meyer 0001, Manuel Oriol	Satisfying Test Preconditions through Guided Object Selection.	ICST	2010	DBLP DOI BibTeX RDF	precondition satisfaction, linear constraint solving, random testing
1	Vojo Bubevski	An Application of Six Sigma and Simulation in Software Testing Risk Assessment.	ICST	2010	DBLP DOI BibTeX RDF	Simulation, Software Testing, Risk Assessment, Six Sigma, DMAIC
1	Raza Abbas Syed, Brian Robinson, Laurie A. Williams	Does Hardware Configuration and Processor Load Impact Software Fault Observability?	ICST	2010	DBLP DOI BibTeX RDF	failure observability, Software testing, empirical study, observation-based testing
1	Sigrid Eldh, Joachim Brandt, Mark Street, Hans Hansson, Sasikumar Punnekkat	Towards Fully Automated Test Management for Large Complex Systems.	ICST	2010	DBLP DOI BibTeX RDF	test management system, large complex systems, efficiency, automation, industrial system
1	Emelie Engström, Per Runeson, Greger Wikstrand	An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations.	ICST	2010	DBLP DOI BibTeX RDF
1	Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener	Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool.	ICST	2010	DBLP DOI BibTeX RDF	evolutionary computation, test-data generation, structural testing, test automation, industrial practice
1	Olivera Pavlovic, Hans-Dieter Ehrich	Model Checking PLC Software Written in Function Block Diagram.	ICST	2010	DBLP DOI BibTeX RDF	FBD, IEC 61131-3, model checking, formal verification, PLC
1	Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière	GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns.	ICST	2010	DBLP DOI BibTeX RDF	Algorithm, testing, scenarios, graph matching, mobile computing systems
1	Vidar Slåtten	Model-Driven Engineering of Dependable Systems.	ICST	2010	DBLP DOI BibTeX RDF	fault tolerance, model checking, UML, model-driven engineering
1	Si Huang, Myra B. Cohen, Atif M. Memon	Repairing GUI Test Suites Using a Genetic Algorithm.	ICST	2010	DBLP DOI BibTeX RDF	Automated Test Case Generation, Genetic Algorithms, GUI Testing, Combinatorial Interaction Testing
1	Daniel Guerreiro e Silva, Mário Jino, Bruno Teixeira de Abreu	Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing.	ICST	2010	DBLP DOI BibTeX RDF	asymmetric function, neural networks, software testing, prediction, estimate, effort
1	Shekoufeh Kolahdouz Rahimi	Specification of UML Model Transformations.	ICST	2010	DBLP DOI BibTeX RDF	UML, Specification, Model Transformations
1	Milos Gligoric 0001, Vilas Jagannath, Darko Marinov	MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.	ICST	2010	DBLP DOI BibTeX RDF	multithreaded code, efficient exploration, mutant execution, mutation testing
1	Patrick Copeland	Google's Innovation Factory: Testing, Culture, and Infrastructure.	ICST	2010	DBLP DOI BibTeX RDF	Testing, Process, Google
1	Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand, Thierry Coq	Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard.	ICST	2010	DBLP DOI BibTeX RDF
1		Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010	ICST	2010	DBLP BibTeX RDF
1	Garrett Kent Kaminski, Paul Ammann	Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection.	ICST	2009	DBLP DOI BibTeX RDF
1	Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu 0001	Optimizing Probabilities of Real-Time Test Case Execution.	ICST	2009	DBLP DOI BibTeX RDF
1	Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry	Transforming and Selecting Functional Test Cases for Security Policy Testing.	ICST	2009	DBLP DOI BibTeX RDF
1	Hendrik Post, Carsten Sinz	Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking.	ICST	2009	DBLP DOI BibTeX RDF
1	Érika Regina Campos de Almeida, Bruno Teixeira de Abreu, Regina Lúcia de Oliveira Moraes	An Alternative Approach to Test Effort Estimation Based on Use Cases.	ICST	2009	DBLP DOI BibTeX RDF
1	HyunChul Joh, Yashwant K. Malaiya	Seasonal Variation in the Vulnerability Discovery Process.	ICST	2009	DBLP DOI BibTeX RDF
1	César Andrés, Mercedes G. Merayo, Manuel Núñez 0001	Passive Testing of Stochastic Timed Systems.	ICST	2009	DBLP DOI BibTeX RDF
1	Arnaud Gotlieb	Euclide: A Constraint-Based Testing Framework for Critical C Programs.	ICST	2009	DBLP DOI BibTeX RDF
1	Katja Karhu, Tiina Repo, Ossi Taipale, Kari Smolander	Empirical Observations on Software Testing Automation.	ICST	2009	DBLP DOI BibTeX RDF
1	Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon	A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ.	ICST	2009	DBLP DOI BibTeX RDF
1	Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer 0001, Manuel Oriol	On the Effectiveness of Test Extraction without Overhead.	ICST	2009	DBLP DOI BibTeX RDF
1	Fangzhe Chang, Jennifer Ren, Ramesh Viswanathan	Optimal Resource Allocation for Batch Testing.	ICST	2009	DBLP DOI BibTeX RDF
1	Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota 0001	An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.	ICST	2009	DBLP DOI BibTeX RDF
1	Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift	Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM).	ICST	2009	DBLP DOI BibTeX RDF
1	Roy Patrick Tan, Pooja Nagpal, Shaun Miller	Automated Black Box Testing Tool for a Parallel Programming Library.	ICST	2009	DBLP DOI BibTeX RDF
1	Christian Murphy, Kuang Shen, Gail E. Kaiser	Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles.	ICST	2009	DBLP DOI BibTeX RDF
1	William G. J. Halfond, Shauvik Roy Choudhary, Alessandro Orso	Penetration Testing with Improved Input Vector Identification.	ICST	2009	DBLP DOI BibTeX RDF
1	Greger Wikstrand, Robert Feldt, Jeevan Kumar Gorantla, Wang Zhe, Conor White	Dynamic Regression Test Selection Based on a File Cache.	ICST	2009	DBLP DOI BibTeX RDF
1	Garrett Kent Kaminski, Paul Ammann	Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing.	ICST	2009	DBLP DOI BibTeX RDF
1	Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini	WS-TAXI: A WSDL-based Testing Tool for Web Services.	ICST	2009	DBLP DOI BibTeX RDF
1	Michael Gegick, Pete Rotella, Laurie A. Williams	Predicting Attack-prone Components.	ICST	2009	DBLP DOI BibTeX RDF
1	Reena Mathew, Ryan Spraetz	Test Automation on a SaaS Platform.	ICST	2009	DBLP DOI BibTeX RDF
1	Junaid Haroon Siddiqui, Sarfraz Khurshid	PKorat: Parallel Generation of Structurally Complex Test Inputs.	ICST	2009	DBLP DOI BibTeX RDF
1		Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009	ICST	2009	DBLP BibTeX RDF
1	Chixiang Zhou, Phyllis G. Frankl	Mutation Testing for Java Database Applications.	ICST	2009	DBLP DOI BibTeX RDF
1	Aritra Bandyopadhyay, Sudipto Ghosh	Test Input Generation Using UML Sequence and State Machines Models.	ICST	2009	DBLP DOI BibTeX RDF
1	Xingmin Luo, Fan Ping, Mei-Hwa Chen	Clustering and Tailoring User Session Data for Testing Web Applications.	ICST	2009	DBLP DOI BibTeX RDF
1	Gursimran Singh Walia, Jeffrey C. Carver	Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models.	ICST	2009	DBLP DOI BibTeX RDF
1	Daniel Guerreiro e Silva, Bruno Teixeira de Abreu, Mário Jino	A Simple Approach for Estimation of Execution Effort of Functional Test Cases.	ICST	2009	DBLP DOI BibTeX RDF
1	Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu	Quality Assurance of Software Applications Using the In Vivo Testing Approach.	ICST	2009	DBLP DOI BibTeX RDF
1	Sarah Smith Heckman, Laurie A. Williams	A Model Building Process for Identifying Actionable Static Analysis Alerts.	ICST	2009	DBLP DOI BibTeX RDF
1	Negar Koochakzadeh, Vahid Garousi, Frank Maurer	Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned.	ICST	2009	DBLP DOI BibTeX RDF
1	Chen Fu, Mark Grechanik, Qing Xie 0003	Inferring Types of References to GUI Objects in Test Scripts.	ICST	2009	DBLP DOI BibTeX RDF
1	Jens Nodler, Helmut Neukirchen, Jens Grabowski	A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications.	ICST	2009	DBLP DOI BibTeX RDF
1	Fadi Wedyan, Dalal Alrmuny, James M. Bieman	The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction.	ICST	2009	DBLP DOI BibTeX RDF
1	Bogdan Korel, Qi Zhang, Li Tao	Assertion-Based Validation of Modified Programs.	ICST	2009	DBLP DOI BibTeX RDF
1	Sébastien Bardin, Philippe Herrmann	Pruning the Search Space in Path-Based Test Generation.	ICST	2009	DBLP DOI BibTeX RDF
1	Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina	Automatic Test Generation for Coverage Analysis of ERTMS Software.	ICST	2009	DBLP DOI BibTeX RDF
1	Milos Gligoric 0001, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid	Optimizing Generation of Object Graphs in Java PathFinder.	ICST	2009	DBLP DOI BibTeX RDF
1	Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock 0001	Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.	ICST	2009	DBLP DOI BibTeX RDF
1	Gordon Fraser 0001, Angelo Gargantini	An Evaluation of Model Checkers for Specification Based Test Case Generation.	ICST	2009	DBLP DOI BibTeX RDF
1	Penelope A. Brooks, Brian P. Robinson, Atif M. Memon	An Initial Characterization of Industrial Graphical User Interface Systems.	ICST	2009	DBLP DOI BibTeX RDF
1	Friedrich Steimann, Mario Bertschler	A Simple Coverage-Based Locator for Multiple Faults.	ICST	2009	DBLP DOI BibTeX RDF
1	Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen	Timed Testing under Partial Observability.	ICST	2009	DBLP DOI BibTeX RDF
1	James H. Hill, Hamilton A. Turner, James R. Edmondson, Douglas C. Schmidt	Unit Testing Non-functional Concerns of Component-based Distributed Systems.	ICST	2009	DBLP DOI BibTeX RDF
1	Vishal Chowdhary	Practicing Testability in the Real World.	ICST	2009	DBLP DOI BibTeX RDF
1	Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker	Testing Embedded Real Time Systems with TTCN-3.	ICST	2009	DBLP DOI BibTeX RDF

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