Search results for "unit testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Nikolai Tillmann, Jonathan de Halleux, Tao Xie	Parameterized unit testing: theory and practice.	ICSE	2010	DBLP DOI BibTeX RDF	Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
3	Mathias Ricken, Robert Cartwright	ConcJUnit: unit testing for concurrent programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, concurrent programming, unit testing, JUnit
3	George T. Heineman	Unit Testing of Software Components with Inter-component Dependencies.	CBSE	2009	DBLP DOI BibTeX RDF	Component dependencies, Unit testing
3	Hui Wu, Jeffrey G. Gray, Marjan Mernik	Unit Testing for Domain-Specific Languages.	DSL	2009	DBLP DOI BibTeX RDF	Domain-specific languages, unit testing, tool generation
3	Roy Patrick Tan, Stephen Edwards	Evaluating Automated Unit Testing in Sulu.	ICST	2008	DBLP DOI BibTeX RDF	automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation
3	Yankui Feng, Xiaodong Liu, Jon M. Kerridge	A product line based aspect-oriented generative unit testing approach to building quality components.	COMPSAC	2007	DBLP DOI BibTeX RDF	Aspect-oriented programming, Software product line, Unit testing, Component-based system
3	Peter Sommerlad, Emanuel Graf	CUTE: C++ unit testing easier.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	C++, eclipse, unit testing
3	Natalia Juristo Juzgado, Ana María Moreno, Sira Vegas, Martín Solari	In Search of What We Experimentally Know about Unit Testing.	IEEE Software	2006	DBLP DOI BibTeX RDF	testing techniques, experimentation, unit testing, empirical methods, evidence-based software engineering
3	Per Runeson	A Survey of Unit Testing Practices.	IEEE Software	2006	DBLP DOI BibTeX RDF	test practice, survey, unit testing
3	Michael Ellims, James Bridges, Darrel C. Ince	The Economics of Unit Testing.	Empirical Software Engineering	2006	DBLP DOI BibTeX RDF	Software testing, Unit testing, Test effectiveness, Adequacy criteria
3	Philip Mayer, Daniel Lübke	Towards a BPEL unit testing framework.	TAV-WEB	2006	DBLP DOI BibTeX RDF	BPELUnit, testing, composition, BPEL, unit testing, orchestration
3	James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li	Tool support for randomized unit testing.	Random Testing	2006	DBLP DOI BibTeX RDF	randomized testing, unit testing
3	Richard Carlsson, Mickaël Rémond	EUnit: a lightweight unit testing framework for Erlang.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	frameworks, unit testing, Erlang, agile methods
3	Zhongxing Xu, Jian Zhang 0001	A Test Data Generation Tool for Unit Testing of C Programs.	QSIC	2006	DBLP DOI BibTeX RDF	pointer operation, unit testing, symbolic execution, Test data generation
3	Natalia Juristo Juzgado, Ana María Moreno, Wolfgang Strigel	Guest Editors' Introduction: Software Testing Practices in Industry.	IEEE Software	2006	DBLP DOI BibTeX RDF	SQA, V&V, agile software testing, parameterized unit testing, testing practice, software testing, unit testing, symbolic execution, scripting language, test coverage, testing tools, test automation, test design, test design
3	Koushik Sen, Darko Marinov, Gul Agha	CUTE: a concolic unit testing engine for C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing
3	Colin Depradine, Julian Arthur	A tool for incorporating unit testing into a Java programming curriculum.	PPPJ	2004	DBLP DOI BibTeX RDF	Java, frameworks, unit testing
3	Per Runeson, Anneliese Amschler Andrews	Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection.	ISSRE	2003	DBLP DOI BibTeX RDF	Defect isolation, Empirical Study, Unit testing, Controlled Experiment, Defect detection, Code Inspection
3	Houman Younessi, Panlop Zeephongsekul, Winai Bodhisuwan	A General Model of Unit Testing Efficacy.	Software Quality Journal	2002	DBLP DOI BibTeX RDF	process efficacy, unit testing efficacy model, usability, reliability, software quality, software process, functionality, maintainability, defect management
2	Vesa Lappalainen, Jonne Itkonen, Ville Isomöttönen, Sami Kollanus	ComTest: a tool to impart TDD and unit testing to introductory level programming.	ITiCSE	2010	DBLP DOI BibTeX RDF	education, tools, unit testing, TDD
2	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
2	Michal Kebrt, Ondrej Sery	UnitCheck: Unit Testing and Model Checking Combined.	ATVA	2009	DBLP DOI BibTeX RDF
2	Jan Wloka, Barbara G. Ryder, Frank Tip	JUnitMX - A change-aware unit testing tool.	ICSE	2009	DBLP DOI BibTeX RDF
2	Joel Adams	Test-driven data structures: revitalizing CS2.	SIGCSE	2009	DBLP DOI BibTeX RDF	data structures, pedagogy, unit testing, test-driven development, agile methods, cs2
2	Edison Mera, Pedro López-García, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
2	Douglas Buettner	A System Dynamics Model That Simulates a Significant Late Life Cycle Manpower Increase Phenomenon.	ICSP	2009	DBLP DOI BibTeX RDF	satellite software, inspections, unit testing, system dynamics, peer reviews, software defects, feedback loops
2	Jonathan de Halleux, Nikolai Tillmann	Parameterized Unit Testing with Pex.	TAP	2008	DBLP DOI BibTeX RDF
2	Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkinson, Stuart H. Kurkowski	A methodology for unit testing actors in proprietary discrete event based simulations.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	Mark Utting, Petra Malik	Unit Testing of Z Specifications.	ABZ	2008	DBLP DOI BibTeX RDF
2	Olly Gotel, Christelle Scharff, Andrew Wildenberg	Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments.	ITiCSE	2008	DBLP DOI BibTeX RDF	automated assessment systems, webwork, java, requirements, programming, open source, unit testing, peer review, software quality assurance, junit
2	Anya Helene Bagge, Valentin David, Magne Haveraaen	Testing with concepts and axioms in C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
2	Anya Helene Bagge, Valentin David, Magne Haveraaen	Axiom-based testing for C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
2	Wishnu Prasetya, Tanya Vos, Arthur I. Baars	Trace-based Reflexive Testing of OO Programs with T2.	ICST	2008	DBLP DOI BibTeX RDF	trace based testing, sequence based testing, unit testing, automated testing
2	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	An Evolutionary Approach for Performing Structural Unit-Testing on Third-Party Object-Oriented Java Software.	NICSO	2007	DBLP DOI BibTeX RDF
2	Daniel Lübke	Unit Testing BPEL Compositions.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
2	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	parameterized unit testing, model-based testing, symbolic execution, test-case generation, concolic execution
2	André Restivo, Ademar Aguiar	Towards detecting and solving aspect conflicts and interferences using unit tests.	SPLAT	2007	DBLP DOI BibTeX RDF	AOP, interferences, unit testing, conflicts
2	Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva	Contract driven development = test driven development - writing test cases.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unit 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	Stefan Wappler, Joachim Wegener	Evolutionary unit testing of object-oriented software using strongly-typed genetic programming.	GECCO	2006	DBLP DOI BibTeX RDF	object-orientation, evolutionary testing, automated test case generation, strongly-typed genetic programming
2	Arindam Chakrabarti, Patrice Godefroid	Software partitioning for effective automated unit testing.	EMSOFT	2006	DBLP DOI BibTeX RDF	software testing and model checking, interfaces, program verification, compositional analysis
2	Anton Michlmayr, Pascal Fenkam, Schahram Dustdar	Specification-Based Unit Testing of Publish/Subscribe Applications.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
2	Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst	An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.	ASE	2006	DBLP DOI BibTeX RDF
2	Gregor Engels, Baris Güldali, Marc Lohmann	Towards Model-Driven Unit Testing.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF	visual contracts, model checking, test case generation, Design by Contract
2	Liangliang Kong, Zhaolin Yin	The Extension of the Unit Testing Tool Junit for Special Testings.	IMSCCS	2006	DBLP DOI BibTeX RDF
2	Koushik Sen, Gul Agha	CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.	CAV	2006	DBLP DOI BibTeX RDF
2	Ming-Hao Liu, You-Feng Gao, Jinhui Shan, Jiang-Hong Liu, Lu Zhang 0023, Jiasu Sun	An Approach to Test Data Generation for Killing Multiple Mutants.	ICSM	2006	DBLP DOI BibTeX RDF	adequacy criterion, unit testing, test data generation, mutation testing
2	Panagiotis Louridas	JUnit: Unit Testing and Coding in Tandem.	IEEE Software	2005	DBLP DOI BibTeX RDF	Open source systems, Java tools, Software engineering, testing tools, testing and debugging, JUnit
2	Stefan Wappler, Frank Lammermann	Using evolutionary algorithms for the unit testing of object-oriented software.	GECCO	2005	DBLP DOI BibTeX RDF	chaining approach, multi-level optimization, evolutionary testing, object-oriented testing, automated test case generation
2	Cesare Pautasso	JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring.	VL/HCC	2005	DBLP DOI BibTeX RDF
2	Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora	Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.	SAFECOMP	2005	DBLP DOI BibTeX RDF
2	Derek M. Shimozawa, James R. Cordy	TETE: A Non-Invasive Unit Testing Framework for Source Transformation.	STEP	2005	DBLP DOI BibTeX RDF
2	Dehla Sokenou, Matthias Vösgen	FlexTest: An Aspect-Oriented Framework for Unit Testing.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
2	Zhong Jie Li, Wei Sun 0001, Zhong Bo Jiang, Xin Zhang	BPEL4WS Unit Testing: Framework and Implementation.	ICWS	2005	DBLP DOI BibTeX RDF
2	Michael R. Wick, Daniel E. Stevenson, Paul J. Wagner	Using testing and JUnit across the curriculum.	SIGCSE	2005	DBLP DOI BibTeX RDF	unit testing frameworks, testing, unit testing, JUnit
2	Florentin Ipate, Mike Holcombe	Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.	XP	2005	DBLP DOI BibTeX RDF	finite state machines, unit testing, functional testing, state diagrams, stream X-machines
2	Michael Ellims, James Bridges, Darrel C. Ince	Unit Testing in Practice.	ISSRE	2004	DBLP DOI BibTeX RDF
2	Alwin Ibba	Mockrunner - Unit Testing of J2EE Applications.	XP	2004	DBLP DOI BibTeX RDF
2	James H. Andrews	Case Study of Coverage-Checked Random Data Structure Testing.	ASE	2004	DBLP DOI BibTeX RDF	Testing, random testing, empirical software engineering, unit testing, test oracles
2	Mike Holcombe, Florentin Ipate	Complete Test Generation for Extreme Programming.	XP	2004	DBLP DOI BibTeX RDF	unit testing, Functional testing, acceptance testing, test set generation, X-machines
2	Ibrahim Lokpo, Michel Babri, Gérard Padiou	Assistance for Supporting XP Test Practices in a Distributed CSCW Environment.	XP	2004	DBLP DOI BibTeX RDF	XP-programming, distributed CSCW, Unit testing
2	Bartosz Walter, Blazej Pietrzak	Automated Generation of Unit Tests for Refactoring.	XP	2004	DBLP DOI BibTeX RDF	Refactoring, automation, unit testing
2	Robert Wenner	Abstract Test Aspect: Testing with AOP.	XP	2004	DBLP DOI BibTeX RDF	Abstract Test Case, Java, AOP, aspect-oriented programming, unit testing, AspectJ
2	Jianjun Zhao	Data-Flow-Based Unit Testing of Aspect-Oriented Programs.	COMPSAC	2003	DBLP DOI BibTeX RDF
2	Richard Torkar, Stefan Mankefors, Krister Hansson, Andreas Jonsson	An Exploratory Study of Component Reliability Using Unit Testing.	ISSRE	2003	DBLP DOI BibTeX RDF
2	Per Madsen	Unit Testing Using Design by Contract and Equivalence Partitions.	XP	2003	DBLP DOI BibTeX RDF
2	Eric Nickell, Ian Smith	Three Patterns in Java Unit Testing.	XP	2003	DBLP DOI BibTeX RDF
2	Rudolf Ramler, Gerald Czech, Dietmar Schlosser	Unit Testing beyond a Bar in Green and Red.	XP	2003	DBLP DOI BibTeX RDF
2	James H. Andrews, Yingjun Zhang	General Test Result Checking with Log File Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Testing, specification, unit testing, test oracles, log file analysis, lightweight formal methods, safety verification
2	Brad Long, Daniel Hoffman, Paul A. Strooper	Tool Support for Testing Concurrent Java Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrency, unit testing, tool support, Component testing
2	Elena García Barriocanal, Miguel Ángel Sicilia Urbán, Ignacio Aedo, Paloma Díaz-Pérez	An experience in integrating automated unit testing practices in an introductory programming course.	SIGCSE Bulletin	2002	DBLP DOI BibTeX RDF
2	Yoonsik Cheon, Gary T. Leavens	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.	ECOOP	2002	DBLP BibTeX RDF
2	Robert E. Noonan, Richard H. Prosl	Unit testing frameworks.	SIGCSE	2002	DBLP DOI BibTeX RDF
2	Asim Jalis	Probe Tests: A Strategy for Growing Automated Tests around Legacy Code.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF	NUnit, xUnit, refactoring, Unit testing, functional testing, automated testing, logging, C#, .NET, legacy code, mock objects, embedded tests
2	Arie van Deursen	Program Comprehension Risks and Opportunities in Extreme Programming. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF	reverse engineering, refactoring, Software process, collaborative work, unit testing, pair programming, evolutionary design
2	Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti	An approach to integration testing based on architectural descriptions.	ICECCS	1997	DBLP DOI BibTeX RDF	formal architectural descriptions, CHAM formalism, coverage strategy, software engineering, software architectures, unit testing, integration testing, architectural descriptions
2	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
2	Khalil Abdullah, James E. Kimble Jr., Lee J. White	Correcting for unreliable regression integration testing. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	unreliable regression integration testing, firewall concept, error cases, firewall construction, software maintenance, statistical analysis, program testing, unit testing, control flow, integration testing
2	Jeffery A. Solheim, John H. Rowland	An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	artificial software systems, top-down strategies, sandwich integration strategies, spot unit testing, bottom-up integration, defect correction, big-bang strategies, code generator, software reliability, program testing, system reliability, reliable systems, verification processes
1	Michael Perscheid, Damien Cassou, Robert Hirschfeld	Test Quality Feedback Improving Effectivity and Efficiency of Unit Testing.	C5	2012	DBLP DOI BibTeX RDF
1	Anthony Allevato, Stephen H. Edwards	RoboLIFT: simple GUI-based unit testing of student-written android applications (abstract only).	SIGCSE	2012	DBLP DOI BibTeX RDF
1	Daniel Toll, Tobias Olsson	Why is Unit-testing in Computer Games Difficult?	CSMR	2012	DBLP DOI BibTeX RDF
1	Moonzoo Kim, Yunho Kim, Hotae Kim	A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
1	James H. Andrews, Tim Menzies, Felix Chun Hang Li	Genetic Algorithms for Randomized Unit Testing.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
1	Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai	KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.	Int. J. Systems Assurance Engineering and Management	2011	DBLP DOI BibTeX RDF
1	Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca	Unit Testing in ASPIDE	CoRR	2011	DBLP BibTeX RDF
1	Ben Sadeh, Kjetil Ørbekk, Magnus M. Eide, Njaal C. A. Gjerde, Trygve A. Tønnesland, Sundar Gopalakrishnan	Towards Unit Testing of User Interface Code for Android Mobile Applications.	ICSECS	2011	DBLP DOI BibTeX RDF
1	Jiri Sobotka, Vaclav Zeman	Application of FMEA procedure for ALU unit testing.	TSP	2011	DBLP DOI BibTeX RDF
1	Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux	Retrofitting Unit Tests for Parameterized Unit Testing.	FASE	2011	DBLP DOI BibTeX RDF
1	Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo	EUnit: A Unit Testing Framework for Model Management Tasks.	MoDELS	2011	DBLP DOI BibTeX RDF
1	Yuko Muto, Kozo Okano, Shinji Kusumoto	Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation.	IWSM/Mensura	2011	DBLP DOI BibTeX RDF
1	Jason Snyder, Stephen H. Edwards, Manuel A. Pérez-Quiñones	LIFT: taking GUI unit testing to new heights.	SIGCSE	2011	DBLP DOI BibTeX RDF
1	Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov	Improved multithreaded unit testing.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Florian M. Waas, Leo Giakoumakis, Shin Zhang	Plan space analysis: an early warning system to detect plan regressions in cost-based optimizers.	DBTest	2011	DBLP DOI BibTeX RDF
1	Kurt Nørmark	Systematic Unit Testing in a Read-eval-print Loop.	J. UCS	2010	DBLP BibTeX RDF
1	Keith W. Miller	Unit Testing.	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
1	Christopher Oezbek	Introducing Automated Unit Testing into Open Source Projects.	OSS	2010	DBLP DOI BibTeX RDF
1	Dharmalingam Ganesan, Mikael Lindvall, David McComas, Maureen Bartholomew, Steve Slegel, Barbara Medina	Architecture-Based Unit Testing of the Flight Software Product Line.	SPLC	2010	DBLP DOI BibTeX RDF
1	Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan	Unit testing for concurrent business code.	PDATAD	2010	DBLP DOI BibTeX RDF
1	Karl Meinke, Fei Niu	A Learning-Based Approach to Unit Testing of Numerical Software.	ICTSS	2010	DBLP DOI BibTeX RDF