Search results for "testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Przemyslaw Plesowicz, Mieczyslaw Metzger	Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	TCP/IP communication testing, Ethernet TCP/IP, network-based feedback control, networks
25	Andreas Johan Nyberg	Use of TTCN-3 for Software Module Testing.	TestCom	2006	DBLP DOI BibTeX RDF	concurrent software, Software testing, TTCN-3, mock objects
25	Abdeslam En-Nouaary, Rachida Dssouli	A Guided Method for Testing Timed Input Output Automata.	TestCom	2003	DBLP DOI BibTeX RDF	Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes
25	David Chays, Saikat Dan, Phyllis G. Frankl, Filippos I. Vokolos, Elaine J. Weber	A framework for testing database applications.	ISSTA	2000	DBLP DOI BibTeX RDF	database, software testing, test data
25	Rene David, S. Rahal, J. L. Rainard	Some relationships between delay testing and stuck-open testing in CMOS circuits.	EURO-DAC	1990	DBLP DOI BibTeX RDF	stuck-open, combinational circuits, CMOS, Delay testing, robust test
25	Jiang Yu, Andrew F. Tappenden, James Miller 0001, Michael R. Smith 0001	A Scalable Testing Framework for Location-Based Services.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	software testing, location-based services, M-commerce, location based applications
25	Mailyn Moreno, Juan Pavón, Alejandro Rosete	Testing in Agent Oriented Methodologies.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Testing process in agent orientation, V-Model, Test
25	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
25	Lei Pan 0002, Lynn Margaret Batten	Robust Correctness Testing for Digital Forensic Tools.	e-Forensics	2009	DBLP DOI BibTeX RDF	correctness testing, data carving tools, digital forensics
25	Michele Sama, Julian Harty	Using code instrumentation to enhance testing on J2ME: a lesson learned with JInjector.	HotMobile	2009	DBLP DOI BibTeX RDF	Java 2 micro edition, testing, instrumentation, code coverage
25	Janne Tuomikoski, Ilkka Tervonen	Absorbing Software Testing into the Scrum Method.	PROFES	2009	DBLP DOI BibTeX RDF	Scrum method, team structure, exploratory testing, test manager
25	Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier	Towards verification and testing of Java programs.	SAC	2008	DBLP DOI BibTeX RDF	program verification, java programs, object-oriented testing
25	Xing Yang, Xiang Li, Yipeng Ji, Mo Sha 0001	CROWNBench: A Grid Performance Testing System Using Customizable Synthetic Workload.	APWeb	2008	DBLP DOI BibTeX RDF	synthetic workload, Grid computing, performance testing
25	Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer 0001	On the Predictability of Random Tests for Object-Oriented Software.	ICST	2008	DBLP DOI BibTeX RDF	predictability, random testing, failure, fault
25	Manish Gupta 0008, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen	Rapid goal-oriented automated software testing using MEA-graph planning.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Planning graph, MEA-Graphplan, AI Planning, Automated software testing
25	Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo	CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	connectivity model, opportunistic systems, delay tolerant networking, protocol testing
25	Qing Wang 0001, Lang Gou, Nan Jiang 0001, Meiru Che, Ronghui Zhang, Yun Yang 0001, Mingshu Li 0001	An Empirical Study on Establishing Quantitative Management Model for Testing Process.	ICSP	2007	DBLP DOI BibTeX RDF	Quantitative process management, Process performance baseline, Software measurement, Testing process
25	Jani Metsä, Mika Katara, Tommi Mikkonen	Testing Non-Functional Requirements with Aspects: An Industrial Case Study.	QSIC	2007	DBLP DOI BibTeX RDF	non-functional, testing, aspects
25	Per Runeson	A Survey of Unit Testing Practices.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	test practice, survey, unit testing
25	Chengying Mao, Yansheng Lu	Regression Testing for Component-based Software Systems by Enhancing Change Information.	APSEC	2005	DBLP DOI BibTeX RDF	labeled method call graph, change information, component, regression testing, test case selection, component-based software system
25	Philippe Y. Massicotte, Linda Badri, Mourad Badri	Aspects-Classes Integration Testing Strategy: An Incremental Approach.	RISE	2005	DBLP DOI BibTeX RDF	AOST, Verification, Interactions, Generation, Sequences, Aspects, Classes, Testing Coverage, Criteria
25	Dietmar Winkler 0001, Bernhard Riedl, Stefan Biffl	Improvement of Design Specifications with Inspection and Testing.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF	Usage-Based Testing, Software Product Improvement, Software Inspection, Verification and Validation
25	Lei Xu 0003, Baowen Xu, Yanxiang He, Hanwu Chen, Qiaoming Zhu	Research on the Analysis and Measurement for Testing Results of Web Applications.	CW	2005	DBLP DOI BibTeX RDF	Testing Result, Analysis and Comparison, Web Application, Web Measurement
25	Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Xuemei Qiu	On test suite composition and cost-effective regression testing.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	test suite composition, Empirical studies, regression testing
25	P. Dhavachelvan, G. V. Uma	Reliability Enhancement in Software Testing - An Agent-Based Approach for Complex Systems.	CIT	2004	DBLP DOI BibTeX RDF	Multi agent-based, Intra-class testing, Agent-based framework, Distributed frame work, Reliability enhancement, Integrated framework
25	Peter Dybjer, Qiao Haiyan, Makoto Takeyama	Verifying Haskell Programs by Combining Testing and Proving.	QSIC	2003	DBLP DOI BibTeX RDF	BDDs and Haskell, program verification, random testing, type theory, proof-assistants
25	Jessica Chen, Steve Chovanec	Towards Specification-based Web Testing.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF	Java AWT and Swing, Web applications, Finite state machines, Specification-based testing, Capture/Replay
25	Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov	A methodology for testing spreadsheets.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	software testing, spreadsheets
25	Norio Kuji, Takako Ishihara	EB-Testing-Pad Method and Its Evaluation by Actual Devices.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF	E-beam tester, stacked vias, testing pads, multi level wiring, CMp, SIMOX/CMOS technology, observability
25	Hong Zhu 0002, Xudong He	An Observational Theory of Integration Testing for Component-Based Software Development.	COMPSAC	2001	DBLP DOI BibTeX RDF	behaviour observation, software testing, concurrent systems, component-based software development, Software integration
25	Letícia M. Peres, Silvia Regina Vergilio, Mário Jino, José Carlos Maldonado	Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies.	SCCC	2001	DBLP DOI BibTeX RDF	Structural Criteria, Selection of Test Paths, Software Testing, Software Metrics
25	Zhongwei Xu, Fangmei Wu	A Novel Testing Approach for Safety-Critical Software.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Software-critical software, software testing, interlocking
25	Nicholas J. Puketza, Kui Zhang, Mandy Chung, Biswanath Mukherjee, Ronald A. Olsson	A Methodology for Testing Intrusion Detection Systems.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	computer user simulation, software testing, Intrusion detection, computer security
25	Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima	A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.	APSEC	1996	DBLP DOI BibTeX RDF	ordered sequence testing criterion (OSC), C concurrent program, probe insertion, Software test, monitoring, UNIX, coverage
25	Teruhiko Yamada, Tsuyoshi Sasaki	On Current Testing of Josephson Logic Circuits Using the 4JL Gate Family.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	4JL gate, Josephson logic circuit, current testing, defect coverage
25	Dharmender Singh Kushwaha, Arun Kumar Misra	Software test effort estimation.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	cognitive information complexity measure, cyclomatic number and basic control structures, testing effort
25	Shiyi Xu	Build-In-Self-Test for Software.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF	Software Testing, Design for Testability, Build-In-Self-Test (BIST)
25	Irena Pavlova, Mikael Åkerholm, Johan Fredriksson	Application of built-in-testing in component-based embedded systems.	ROSATEA	2006	DBLP DOI BibTeX RDF
25	Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi	Coverage and adequacy in software product line testing.	ROSATEA	2006	DBLP DOI BibTeX RDF
25	Hyoung Seok Hong, Hasan Ural	Dependence Testing: Extending Data Flow Testing with Control Dependence.	TestCom	2005	DBLP DOI BibTeX RDF
25	Lian Yu, Wei Zhao 0003, Xiaofeng Di, Changzhu Kong, Wenbo Zhao, Qianxiang Wang, Jun Zhu	Towards Call for Testing: An Application to User Acceptance Testing of Web Applications.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
25	Deniss Kumlander	NP-Hard Graph Problems' Algorithms Testing Guidelines: Artificial Intelligence Principles and Testing as a Service.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
25	David Willmor, Suzanne M. Embury	Testing the Implementation of Business Rules Using Intensional Database Tests.	TAIC PART	2006	DBLP DOI BibTeX RDF
25	Gaoyan Xie, Zhe Dang	Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.	FATES	2005	DBLP DOI BibTeX RDF
25	Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova	Simulated Time for Testing Railway Interlockings with TTCN-3.	FATES	2005	DBLP DOI BibTeX RDF
25	Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc	An Extensible Open-Source Compiler Infrastructure for Testing.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
25	Hyunsook Do, Sebastian G. Elbaum, Gregg Rothermel	Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques.	ISESE	2004	DBLP DOI BibTeX RDF
25	C. Michael Overstreet	Improving the model development process: model testing: is it only a special case of software testing?	WSC	2002	DBLP DOI BibTeX RDF
25	Cecilia Metra, Stefano Di Francescantonio, T. M. Mak	Clock Faults? Impact on Manufacturing Testing and Their Possible Detection Through On-Line Testing.	ITC	2002	DBLP DOI BibTeX RDF
25	Hossain Shahriar, Mohammad Zulkernine	Mutation-Based Testing of Format String Bugs.	HASE	2008	DBLP DOI BibTeX RDF
25	Huiming Wang, Xingang Shi, Zhiliang Wang, Xia Yin, Jianping Wu	Performance testing of Mobile IPv6 protocol.	ISCC	2008	DBLP DOI BibTeX RDF
25	Babu Zachariah, R. N. Rattihalli	Failure Size Proportional Models and an Analysis of Failure Detection Abilities of Software Testing Strategies.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
25	Hadi Otrok, Joey Paquet, Mourad Debbabi, Prabir Bhattacharya	Testing Intrusion Detection Systems in MANET: A Comprehensive Study.	CNSR	2007	DBLP DOI BibTeX RDF
25	Gaeil An, Joon S. Park	Cooperative Component Testing Architecture in Collaborating Network Environment.	ATC	2007	DBLP DOI BibTeX RDF
25	Andreas Leitner, Ilinca Ciupa, Bertrand Meyer 0001, Mark Howard	Reconciling Manual and Automated Testing: The AutoTest Experience.	HICSS	2007	DBLP DOI BibTeX RDF
25	Gennette Gill, Ankur Agiwal, Montek Singh, Feng Shi 0010, Yiorgos Makris	Low-Overhead Testing of Delay Faults in High-Speed Asynchronous Pipelines.	ASYNC	2006	DBLP DOI BibTeX RDF
25	Qing Xie 0003, Atif M. Memon	Model-Based Testing of Community-Driven Open-Source GUI Applications.	ICSM	2006	DBLP DOI BibTeX RDF
25	Chin-Yu Huang, Michael R. Lyu	Optimal release time for software systems considering cost, testing-effort, and test efficiency.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
25	Kai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang	On the Test Case Definition for GUI Testing.	QSIC	2005	DBLP DOI BibTeX RDF
25	Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang 0023, Bing Xie	Contract-Based Mutation for Testing Components.	ICSM	2005	DBLP DOI BibTeX RDF
25	Richard H. Carver, Yu Lei 0001	A General Model for Reachability Testing of Concurrent Programs.	ICFEM	2004	DBLP DOI BibTeX RDF
25	Jianjun Zhao 0001	Data-Flow-Based Unit Testing of Aspect-Oriented Programs.	COMPSAC	2003	DBLP DOI BibTeX RDF
25	Ioannis Parissis, Jérôme Vassy	Thoroughness of Specification-Based Testing of Synchronous Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
25	Juichi Takahashi, Yoshiaki Kakuda	Extended-Model Based Testing by Directed Chinese Postman Algorithm.	HASE	2002	DBLP DOI BibTeX RDF
25	Joachim Wegener, André Baresel, Harmen Sthamer	Suitability of Evolutionary Algorithms for Evolutionary Testing.	COMPSAC	2002	DBLP DOI BibTeX RDF
25	Juichi Takahashi, Yoshiaki Kakuda	Extended Model-Based Testing toward High Code Coverage Rate.	ECSQ	2002	DBLP DOI BibTeX RDF
25	Marcel R. Karam, Trevor J. Smedley	A Testing Methodology for a Dataflow Based Visual Programming Language.	HCC	2001	DBLP DOI BibTeX RDF
25	Marco Bernardo 0001, Rance Cleaveland	A Theory of Testing for Markovian Processes.	CONCUR	2000	DBLP DOI BibTeX RDF
25	Nohpill Park, Fabrizio Lombardi	Stratified Testing of Multichip Module Systems under Uneven Known-Good-Yield.	DFT	1999	DBLP DOI BibTeX RDF
25	Kurt M. Gutzmann, David L. Remkes, Jeffrey L. Ragsdale	Software Project Activity Network for Managing the Development and Testing Process.	Ada-Europe	1991	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	On (Valiant's) Polynomial-Size Monotone Formula for Majority.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	Deconstructing 1-Local Expanders.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Guy N. Rothblum	Constant-Round Interactive Proof Systems for AC0[2] and NC1.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Dana Ron	On the Relation Between the Relative Earth Mover Distance and the Variation Distance (an Exposition).	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Liav Teichner	Super-Perfect Zero-Knowledge Proofs.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Maya Leshkowitz	On Emulating Interactive Proofs with Public Coins.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	On the Effect of the Proximity Parameter on Property Testers.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	On the Optimal Analysis of the Collision Probability Tester (an Exposition).	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Avi Wigderson	On the Size of Depth-Three Boolean Circuits for Computing Multilinear Functions.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Scott E. Decatur, Oded Goldreich 0001, Dana Ron	A Probabilistic Error-Correcting Scheme that Provides Partial Secrecy.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Guy N. Rothblum	Worst-Case to Average-Case Reductions for Subclasses of P.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Or Meir	Bridging a Small Gap in the Gap Amplification of Assignment Testers.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	On Constructing Expanders for Any Number of Vertices.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	Two Comments on Targeted Canonical Derandomizers.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001, Avishay Tal	On Constant-Depth Canonical Boolean Circuits for Computing Multilinear Functions.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Itai Benjamini, Oded Goldreich 0001	Pseudo-mixing Time of Random Walks.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
25	Duncan M. Hank Walker	K Longest Paths.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
25	Sandeep Kumar Goel, Krishnendu Chakrabarty	Circuit Topology-Based Test Pattern Generation for Small-Delay Defects.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
25	Sandeep Kumar Goel, Narendra Devta-Prasanna	Hybrid/Top-off Test Pattern Generation Schemes for Small-Delay Defects.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
25	Narendra Devta-Prasanna, Sandeep Kumar Goel	Small-Delay Defect Coverage Metrics.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
25	Ke Peng, Mahmut Yilmaz, Mohammad Tehranipoor	Circuit Path Grading Considering Layout, Process Variations, and Cross Talk.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
25	Nisar Ahmed, Mohammad Tehranipoor	Faster-than-at-Speed Test for Screening Small-Delay Defects.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
25	Mark Kassab, Benoit Nadeau-Dostie, Xijiang Lin	Timing-Aware ATPG.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
25	Mark Utting	How to Design Extended Finite State Machine Test Models in Java.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
25	Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet	Test Generation Using Symbolic Animation of Models.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
25	Laurence Pierre, Luca Ferro	Dynamic Verification of SystemC Transactional Models.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
25	Stephan Weißleder, Holger Schlingloff	Automatic Model-Based Test Generation from UML State Machines.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
25	Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001 (eds.)	Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010	Practical Software Testing: Tool Automation and Human Factors	2010	DBLP BibTeX RDF
25	Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner (eds.)	Model-Based Testing in Practice, 17.10. - 22.10.2010	Model-Based Testing in Practice	2010	DBLP BibTeX RDF
25	Oded Goldreich 0001 (eds.)	Property Testing - Current Research and Surveys	Property Testing	2010	DBLP DOI BibTeX RDF