Search results for "systematic testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Henrik Bærbak Christensen	Systematic testing should not be a topic in the computer science curriculum!	ITiCSE	2003	DBLP DOI BibTeX RDF	CS curriculum, Systematic Testing, systematic testing
3	Adrian Nistor, Darko Marinov, Josep Torrellas	Light64: lightweight hardware support for data race detection during systematic testing of parallel programs.	MICRO	2009	DBLP DOI BibTeX RDF	execution history hash, data race, systematic testing
3	Shamim Begum, Meeta Sharma, Ahmed Helmy, Sandeep K. S. Gupta	Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	systematic testing of robustness by evaluation of synthesized scenarios, registration message, MARS server, forward search, multicast address resolution server protocol, protocol robustness, Internet, performance, mobile computing, complexity, protocols, asynchronous transfer mode, ATM, topologies, network topology, error, mobile IP, search problems, multicast communication, STRESS, IP-multicast, network servers, packet radio networks, MIP, MARS, event sequences, land mobile radio, test generation algorithm, home agent, asymptotic complexity
2	Junaid Haroon Siddiqui, Sarfraz Khurshid	An Empirical Study of Structural Constraint Solving Techniques.	ICFEM	2009	DBLP DOI BibTeX RDF	model checking, SAT, symbolic execution, state space exploration, systematic testing, Empirical comparison, software testing tools
2	Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid	Efficient solving of structural constraints.	ISSTA	2008	DBLP DOI BibTeX RDF	model checking, backtracking, systematic testing
2	Anthony J. H. Simons	JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Algebraic testing, Lazy specification, Lazy systematic testing, Operational abstraction, JWalk, Unit testing, Agile methods, JUnit, State-based testing
2	Tim Miller, Paul A. Strooper	A framework and tool support for the systematic testing of model-based specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	specification animation, testgraphs, testing, Formal verification
1	Mihai Florian	A Framework for Systematic Testing of Multi-threaded Applications.	PRDC	2011	DBLP DOI BibTeX RDF
1	Shadi Abdul Khalek, Sarfraz Khurshid	Systematic Testing of Database Engines Using a Relational Constraint Solver.	ICST	2011	DBLP DOI BibTeX RDF
1	Todd Kulesza, Margaret M. Burnett, Simone Stumpf, Weng-Keen Wong, Shubhomoy Das, Alex Groce, Amber Shinsel, Forrest Bice, Kevin McIntosh	Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach.	IS-EUD	2011	DBLP DOI BibTeX RDF
1	Jirí Simsa, Randy Bryant, Garth A. Gibson	dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems.	SPIN	2011	DBLP DOI BibTeX RDF
1	Rupak Majumdar, Indranil Saha, Zilong Wang	Systematic testing for control applications.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Shadi Abdul Khalek, Sarfraz Khurshid	Automated SQL query generation for systematic testing of database engines.	ASE	2010	DBLP DOI BibTeX RDF
1	Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha	Basset: a tool for systematic testing of actor programs.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns	A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages.	KI	2010	DBLP DOI BibTeX RDF
1	Chengkai Li, Christoph Csallner	Dynamic symbolic database application testing.	DBTest	2010	DBLP DOI BibTeX RDF	test case generation, dynamic symbolic execution
1	Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster	Efficient Systematic Testing for Dynamically Updatable Software.	HotSWUp	2009	DBLP DOI BibTeX RDF
1	Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst	HAMPI: a solver for string constraints.	ISSTA	2009	DBLP DOI BibTeX RDF	string constraints, regular languages, context-free languages
1	Ashalatha Nayak, Debasis Samanta	Model-based test cases synthesis using UML interaction diagrams.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF
1	Gwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li	A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems.	TASE	2009	DBLP DOI BibTeX RDF
1	Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana	Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing.	WETICE	2009	DBLP DOI BibTeX RDF
1	Changgu Kang, Yoosoo Oh, Woontack Woo	An Architecture for Flexible Entity Configuration in a Simulation Environment.	Edutainment	2009	DBLP DOI BibTeX RDF	Simulator, virtual reality, context-awareness, smart space
1	Susanne Bødker	Design for reconfiguration.	SIGDOC	2008	DBLP DOI BibTeX RDF	activity theoretical HCI, ubiquitous interaction
1	Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi	Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
1	Michael A. Hennell	The First Thirty Years: Experience with Software Verification.	TAP	2008	DBLP DOI BibTeX RDF
1	Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper	Systematic Testing of Model-Based Code Generators.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Testing and Debugging
1	T. G. Nguyen, J. L. de Kok	Systematic testing of an integrated systems model for coastal zone management using sensitivity and uncertainty analyses.	Environmental Modelling and Software	2007	DBLP DOI BibTeX RDF
1	Madanlal Musuvathi, Shaz Qadeer	Iterative context bounding for systematic testing of multithreaded programs.	PLDI	2007	DBLP DOI BibTeX RDF	context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs
1	Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory	A specification-based approach to testing software product lines.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca
1	Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory	A specification-based approach to testing software product lines.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca
1	Stefan Larndorfer, Rudolf Ramler, Christian Federspiel, Klaus Lehner	Testing High-Reliability Software for Continuous Casting Steel Plants - Experiences and Lessons Learned from Siemens VAI.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
1	Hong Zhu, W. Eric Wong, Amit M. Paradkar	Automation of Software Test - Report on the Second Interional Workshop AST 2007.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Dieter Zöbel, Christian Weyand	Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters.	SIES	2007	DBLP DOI BibTeX RDF
1	Ingo Stürmer	Systematic testing of code generation tools: a test suite oriented approach for safeguarding model based code generation.		2006	RDF
1	Koushik Sen, Gul Agha	Automated Systematic Testing of Open Distributed Programs.	FASE	2006	DBLP DOI BibTeX RDF
1	Hiroshi Nishikawa, Shinya Yamamoto, Morihiko Tamai, Kouji Nishigaki, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito	UbiREAL: Realistic Smartspace Simulator for Systematic Testing.	Ubicomp	2006	DBLP DOI BibTeX RDF
1	Dick Hamlet	When only random testing will do.	Random Testing	2006	DBLP DOI BibTeX RDF	random vs. systematic testing, testing theory
1	Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Faster WCET flow analysis by program slicing.	LCTES	2006	DBLP DOI BibTeX RDF	hard real time, worst-case execution time analysis
1	P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan	Test ready UML statechart models.	SCESM	2006	DBLP DOI BibTeX RDF	model based testing, context-free grammar, UML statecharts
1	Michael Mortensen, Sudipto Ghosh, James M. Bieman	Testing During Refactoring: Adding Aspects to Legacy Systems.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Patrice Godefroid	Software Model Checking: The VeriSoft Approach.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	program verification, software model checking, systematic testing
1	Ben Breech, Lori L. Pollock	A framework for testing security mechanisms for program-based attacks.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Markus Clermont	Heuristics for the automatic identification of irregularities in spreadsheets.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	spreadsheet visualization, program analysis, end user programming
1	Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger	PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.	EDCC	2005	DBLP DOI BibTeX RDF
1	Yongsun Cho, Woojin Lee, Kiwon Chong	The Technique of Test Case Design Based on the UML Sequence Diagram for the Development of Web Applications.	ICCSA	2005	DBLP DOI BibTeX RDF
1	Mirko Conrad	Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES).	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
1	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Systematic Testing of Software Architectures in the C2 Style.	FASE	2004	DBLP DOI BibTeX RDF
1	Karim Seada, Ahmed Helmy, Sandeep K. S. Gupta	A framework for systematic evaluation of multicast congestion control protocols.	IEEE Journal on Selected Areas in Communications	2004	DBLP DOI BibTeX RDF
1	Warren Harrison	From the Editor: The Dangers of End-User Programming.	IEEE Software	2004	DBLP DOI BibTeX RDF	security, software development, programming
1	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo	A Hybrid Testing Methodology for Railway Control Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Michael Grottke	Modeling software failures during systematic testing: the influence of environmental factors.		2003	RDF
1	Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France	Rigorous Testing by Merging Structural and Behavioral UML Representations.	UML	2003	DBLP DOI BibTeX RDF
1	Robert M. Hierons, Mark Harman, Harbhajan Singh	Automatically Generating Information from a Z Specification to Support the Classification Tree Method.	ZB	2003	DBLP DOI BibTeX RDF	formal methods, test automation, Z notation, Classification tree method
1	Michael Grottke	A Vector Markov Model for Structural Coverage Growth and the Number of Failure Occurrences.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Dongyao Ji, Yuming Wang	Comments on ``An approach to the formal verification of the two-party cryptographic protocols'' by Zhang, Li and Xiao.	Operating Systems Review	2001	DBLP DOI BibTeX RDF
1	Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren	A precision- and range-independent tool for testing floating-point arithmetric I: basic operations, square root, and remainder.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	IEEE floating-point standard, multiprecision, validation, floating-point, arithmetic
1	Margaret M. Burnett, Bing Ren, Andrew Jensen Ko, Curtis R. Cook, Gregg Rothermel	Visually Testing Recursive Programs in Spreadsheet Languages.	HCC	2001	DBLP DOI BibTeX RDF
1	Ahmed Helmy, Deborah Estrin, Sandeep K. S. Gupta	Systematic Testing of Multicast Routing Protocols: Analysis of Forward and Backward Search Techniques	CoRR	2000	DBLP BibTeX RDF
1	Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer	Automated systematic testing for constraint-based interactive services.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	constraint-based languages, model checking, verification, testing, state explosion, state-space reduction, interactive services
1	Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux	Formal Methods in Context: Security and Java Card.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
1	Joachim Wegener, Matthias Grochtmann	Evolutionärer Test von Realzeitsystemen.	Inform., Forsch. Entwickl.	2000	DBLP BibTeX RDF	Realzeitsystem, Zeitverhalten, Evolutionärer Test, Evolutionäre Algorithmen, Test
1	Henrik Thane, Hans Hansson	Towards Systematic Testing of Distributed Real-Time Systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1999	DBLP DOI BibTeX RDF	scheduling, Testing, testability, determinism, distributed real-time systems, reproducibility, response-time analysis, probe-effect
1	Ahmed Helmy, Deborah Estrin	Simulation-based 'STRESS' Testing Case Study: A Multicast Routing Protocol. (PDF / PS)	MASCOTS	1998	DBLP DOI BibTeX RDF
1	Joachim Wegener, Harmen Sthamer, Bryan F. Jones, David E. Eyres	Testing real-time systems using genetic algorithms.	Software Quality Journal	1997	DBLP DOI BibTeX RDF	temporal behaviour, genetic algorithms, real-time systems, embedded systems, testing
1	Monika Müllerburg	Systematic Testing: A Means for Validating Reactive Systems.	Softw. Test., Verif. Reliab.	1995	DBLP DOI BibTeX RDF
1	Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley	Systematic testing and formal verification to validate reactive programs.	Software Quality Journal	1995	DBLP DOI BibTeX RDF
1	Sudhir M. Gowda, Bing J. Sheu, Wen-Jay Hsu	Testing of programmable analog neural network chips.	VLSI Signal Processing	1994	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula	A Framework for Systematic Testing of Software Specifications.	SEKE	1993	DBLP BibTeX RDF
1	Richard G. Hamlet, Jeffrey M. Voas	Faults on Its Sleeve: Amplifying Software Reliability Testing.	ISSTA	1993	DBLP DOI BibTeX RDF	software reliability, testability, failure, fault
1	John Nerbonne, Klaus Netter, Abdel Kader Diagne, Judith Klein, Ludwig Dickmann	A diagnostic tool for German syntax.	Machine Translation	1993	DBLP DOI BibTeX RDF
1	Stuart H. Zweben, Wayne D. Heym, Jon Kimmich	Systematic Testing of Data Abstractions Based on Software Specifications.	Softw. Test., Verif. Reliab.	1992	DBLP BibTeX RDF
1	Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno	Strategic Testing Environment with Formal Description Techniques.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	formal environment for systematic testing, stepwise approach, test development, TENT, test sequence generation tool, APRICOT, ASN.1 pre-compiler, coder, test-debugger, test specification editor, upper tester, lower tester, simulator, design, formal specification, protocol, protocols, data structures, programming environments, formal semantics, communication systems, formal description techniques, FOREST, test execution
1	C. V. Ramamoorthy, K. H. Kim, W. T. Chen	Optimal Placement of Software Monitors Aiding Systematic Testing.	IEEE Trans. Software Eng.	1975	DBLP BibTeX RDF