Search results for "testability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Michel Renovell, Florence Azaïs, Yves Bertrand	Optimized Implementations of the Multi-Configuration DFT Technique for Analog Circuits.	DATE	1998	DBLP DOI BibTeX RDF	VLSI, Test, Analog Circuit, Mixed Signal Circuit
15	Mehrdad Nourani, Christos A. Papachristou	A Bypass Scheme for Core-Based System Fault Testing.	DATE	1998	DBLP DOI BibTeX RDF
15	Eduardo J. Peralías, Adoración Rueda, Juan A. Prieto, José L. Huertas	DfT and on-line test of high-performance data converters: a practical case.	ITC	1998	DBLP DOI BibTeX RDF
15	Alaaeldin A. Amin, Mohamed Y. Osman, Radwan E. Abdel-Aal, Husni Al-Muhtaseb	New fault models and efficient BIST algorithms for dual-port memories.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
15	Joel A. Jorgenson, Russell J. Wagner	Design-For-Test in a Multiple Substrate Multichip Module.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	Multichip Module (MCM) Test, Known-Good Die (KGD), Ball Grid Array (BGA), Built-In-Self-Test (BIST), boundary-scan
15	Mehrdad Nourani, Christos A. Papachristou	Structural BIST insertion using behavioral test analysis.	ED&TC	1997	DBLP DOI BibTeX RDF
15	Giacomo Buonanno, Fabrizio Ferrandi, L. Ferrandi, Franco Fummi, Donatella Sciuto	How an "Evolving" Fault Model Improves the Behavioral Test Generation.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF
15	Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal	A partition and resynthesis approach to testable design of large circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
15	Niraj K. Jha, Abha Ahuja	Easily testable nonrestoring and restoring gate-level cellular array dividers.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
15	Srinivas Devadas, Kurt Keutzer, Sharad Malik	A synthesis-based test generation and compaction algorithm for multifaults.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Iogic synthesis, test generation, multiple fault, test compaction
15	Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison	On properties of algebraic transformations and the synthesis of multifault-irredundant circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
15	Srinivas Devadas, Kurt Keutzer	Synthesis of robust delay-fault-testable circuits: practice.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
15	D. M. Marcynuk, D. Michael Miller	The OR-k method for on-line checking of programmable logic arrays.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	fault secure design, on-line checking, concurrency, programmable logic array
15	Srinivas Devadas, Hi-Keung Tony Ma	Easily testable PLA-based finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
15	Debashis Bhattacharya, John P. Hayes	Designing for high-level test generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
15	R. P. van Riessen, Hans G. Kerkhoff, A. Kloppenburg	Designing and Implementing an Architecture with Boundary Scan.	IEEE Des. Test Comput.	1990	DBLP DOI BibTeX RDF
15	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	A synthesis and optimization procedure for fully and easily testable sequential machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
15	Chantal Robach, Daniel Lutoff, Nouar Garcia	Knowledge-based functional specification of test and maintenance programs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
15	Yashwant K. Malaiya	On inherent untestability of unaugmented microprogrammed control.	MICRO	1989	DBLP DOI BibTeX RDF
15	Sam M. Kim, Robert McNaughton, Robert McCloskey	An Upper Bound on the Order of Locally Testable Deterministic Finite Automata.	Optimal Algorithms	1989	DBLP DOI BibTeX RDF
15	Pinaki Mazumder, Janak H. Patel, W. Kent Fuchs	Design and Algorithms for Parallel Testing of Random Access and Content Addressable Memories.	DAC	1987	DBLP DOI BibTeX RDF
15	Melvin A. Breuer, Xi-an Zhu	A knowledge based system for selecting a test methodology for a PLA.	DAC	1985	DBLP DOI BibTeX RDF
13	Irith Pomeranz	Testability Evaluation for Local Design Modifications.	IEEE Trans. Very Large Scale Integr. Syst.	2024	DBLP DOI BibTeX RDF
13	Tianming Ni, Xiaoqing Wen, Hussam Amrouch, Cheng Zhuo, Peilin Song	Introduction to the Special Issue on Design for Testability and Reliability of Security-aware Hardware.	ACM Trans. Design Autom. Electr. Syst.	2024	DBLP DOI BibTeX RDF
13	Morteza Zakeri Nasrabadi, Saeed Parsa	Natural Language Requirements Testability Measurement Based on Requirement Smells.	CoRR	2024	DBLP DOI BibTeX RDF
13	Soham Roy, Vishwani D. Agrawal	An Amalgamated Testability Measure Derived from Machine Intelligence.	VLSID	2024	DBLP DOI BibTeX RDF
13	Masaya Muramatsu, Yasuhiro Noguchi, Satoru Kogure, Koichi Yamashita, Tatsuhiro Konishi, Yukihiro Itoh	Classroom Practice with Learning Support System for Program Design Using Mock Technique Based on Testability.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Lok-Won Kim, Quang Hieu Vo, Choong Seon Hong	Runtime Testability on Autonomous System.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
13	Tushar Sharma 0001, Stefanos Georgiou, Maria Kechagia, Taher A. Ghaleb, Federica Sarro	Investigating developers' perception on software testability and its effects.	Empir. Softw. Eng.	2023	DBLP DOI BibTeX RDF
13	Hyun-Jae Choi, Heung Seok Chae	Development of Testability Prediction Models Considering Complexity Diversity for C Programs.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Gleb Kalachev	High-dimensional Expansion of Product Codes is Stronger than Robust and Agreement Testability.	CoRR	2023	DBLP DOI BibTeX RDF
13	Panna Tímea Fekete, Gábor Kun	Easy testability for posets.	CoRR	2023	DBLP DOI BibTeX RDF
13	Pavel Reich, Walid Maalej	Testability Refactoring in Pull Requests: Patterns and Trends.	CoRR	2023	DBLP DOI BibTeX RDF
13	Isolde Adler, Noleen Köhler, Pan Peng 0001	On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing.	CoRR	2023	DBLP DOI BibTeX RDF
13	Luca Guglielmo, Leonardo Mariani, Giovanni Denaro	Measuring Software Testability via Automatically Generated Test Cases.	CoRR	2023	DBLP DOI BibTeX RDF
13	Fei Su, Chunsheng Liu, Haralampos-G. Stratigopoulos	Special Issue on Testability and Dependability of Artificial Intelligence Hardware.	IEEE Des. Test	2023	DBLP DOI BibTeX RDF
13	Partha Pratim Pande	Special Issue on Testability and Dependability of Artificial Intelligence Hardware.	IEEE Des. Test	2023	DBLP DOI BibTeX RDF
13	Fei Su, Chunsheng Liu, Haralampos-G. Stratigopoulos	Testability and Dependability of AI Hardware: Survey, Trends, Challenges, and Perspectives.	IEEE Des. Test	2023	DBLP DOI BibTeX RDF
13	Eran Nevo	Embedding Divisor and Semi-Prime Testability in f-Vectors of Polytopes.	Discret. Comput. Geom.	2023	DBLP DOI BibTeX RDF
13	Saeed Parsa	Software Testing Automation - Testability Evaluation, Refactoring, Test Data Generation and Fault Localization		2023	DOI RDF
13	Jens Anders, Pablo Andreu, Bernd Becker 0001, Steffen Becker 0001, Riccardo Cantoro, Nikolaos Ioannis Deligiannis, Nourhan Elhamawy, Tobias Faller, Carles Hernández 0001, Nele Mentens, Mahnaz Namazi Rizi, Ilia Polian, Abolfazl Sajadi, Matthias Sauer 0002, Denis Schwachhofer, Matteo Sonza Reorda, Todor Stefanov, Ilya Tuzov, Stefan Wagner 0001, Nusa Zidaric	A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors.	ETS	2023	DBLP DOI BibTeX RDF
13	Razieh Nabi, Rohit Bhattacharya	On Testability and Goodness of Fit Tests in Missing Data Models.	UAI	2023	DBLP BibTeX RDF
13	Thomas Vidick	Quantum Codes, Local Testability and Interactive Proofs: State of the Art and Open Questions (Invited Talk).	ICALP	2023	DBLP DOI BibTeX RDF
13	Dan Bruce, David Kelly, Héctor D. Menéndez 0001, Earl T. Barr, David Clark 0001	June: A Type Testability Transformation for Improved ATG Performance.	ISSTA	2023	DBLP DOI BibTeX RDF
13	Yudai Toyooka, Haruki Watanabe, Toshinori Hosokawa, Masayoshi Yoshimura	An Evaluation of Estimated Field Random Testability for Data Paths at Register Transfer Level Using Status Signal Sequences Based on k-Consecutive State Transitions for Field Testing.	DFT	2023	DBLP DOI BibTeX RDF
13	Toshinori Hosokawa, Kyohei Iizuka, Masayoshi Yoshimura	An Evaluation of a Testability Measure for State Assignment to Estimate Transition Fault Coverage for Controllers.	DFT	2023	DBLP DOI BibTeX RDF
13	Jin-Fu Li 0001	Testing of Computing-In Memories: Faults, Test Algorithms, and Design-for-Testability.	DFT	2023	DBLP DOI BibTeX RDF
13	Mingye Li, Yunkun Lin, Sandeep Gupta 0001	Design for testability (DFT) for RSFQ circuits.	VTS	2023	DBLP DOI BibTeX RDF
13	Fei Su, Eric Zhang, Arjun Chaudhuri, Michael Paulitsch	Innovation Practices Track: Testability and Dependability of AI Hardware and Autonomous Systems.	VTS	2023	DBLP DOI BibTeX RDF
13	Pavel Reich, Walid Maalej	Testability Refactoring in Pull Requests: Patterns and Trends.	ICSE	2023	DBLP DOI BibTeX RDF
13	Tapas Nandy, Ashish Joshi, Sanjoy Kumar Dey	Large Network of Wide- Range Analog Voltage Observers for Debug & Testability.	APCCAS	2023	DBLP DOI BibTeX RDF
13	Raghvinder S. Sangwan, Youakim Badr, Satish Mahadevan Srinivasan, Partha Mukherjee	On the Testability of Artificial Intelligence and Machine Learning Systems.	Computer	2022	DBLP DOI BibTeX RDF
13	Hari Mohan Gaur, Ashutosh Kumar Singh 0001, Umesh Ghanekar	An Efficient Design of Scalable Reversible Multiplier with Testability.	J. Circuits Syst. Comput.	2022	DBLP DOI BibTeX RDF
13	Mamdouh Alenezi	Investigating Software Testability and Test cases Effectiveness.	CoRR	2022	DBLP BibTeX RDF
13	Oren Becker, Alexander Lubotzky, Jonathan Mosheiff	Testability in group theory.	CoRR	2022	DBLP DOI BibTeX RDF
13	Louis Esperet, Sergey Norin	Testability and local certification of monotone properties in minor-closed classes.	CoRR	2022	DBLP BibTeX RDF
13	Fatemeh Sheikh Shoaei, Alireza Nahvy, Zainalabedin Navabi	Testable Array Multipliers for a Better Utilization of C-Testability and Bijectivity.	CoRR	2022	DBLP BibTeX RDF
13	A. N. Trahtman	A polynomial time algorithm for local testability and its level.	CoRR	2022	DBLP DOI BibTeX RDF
13	Rohit Bhattacharya, Razieh Nabi	On Testability of the Front-Door Model via Verma Constraints.	CoRR	2022	DBLP DOI BibTeX RDF
13	Morteza Zakeri Nasrabadi, Saeed Parsa	An ensemble meta-estimator to predict source code testability.	CoRR	2022	DBLP DOI BibTeX RDF
13	Razieh Nabi, Rohit Bhattacharya	On Testability and Goodness of Fit Tests in Missing Data Models.	CoRR	2022	DBLP DOI BibTeX RDF
13	Morteza Zakeri Nasrabadi, Saeed Parsa	An ensemble meta-estimator to predict source code testability.	Appl. Soft Comput.	2022	DBLP DOI BibTeX RDF
13	M. I. Shiny, M. Nirmala Devi 0001	Trustworthy Scan Design and Testability Using Obfuscation and Logic Locking Scheme for Wireless Network Application.	Mob. Networks Appl.	2022	DBLP DOI BibTeX RDF
13	Anthony Leverrier, Vivien Londe, Gilles Zémor	Towards local testability for quantum coding.	Quantum	2022	DBLP DOI BibTeX RDF
13	Andrea Arcuri, Juan P. Galeotti	Enhancing Search-based Testing with Testability Transformations for Existing APIs.	ACM Trans. Softw. Eng. Methodol.	2022	DBLP DOI BibTeX RDF
13	Feng Xie 0002, Yangbo He, Zhi Geng, Zhengming Chen, Ru Hou, Kun Zhang 0001	Testability of Instrumental Variables in Linear Non-Gaussian Acyclic Causal Models.	Entropy	2022	DBLP DOI BibTeX RDF
13	Krishna Patel, Robert M. Hierons, David Clark 0001	An information theoretic notion of software testability.	Inf. Softw. Technol.	2022	DBLP DOI BibTeX RDF
13	Omid Aramoon, Gang Qu 0001, Aijiao Cui	Building Hardware Security Primitives Using Scan-based Design-for-Testability.	MWSCAS	2022	DBLP DOI BibTeX RDF
13	Amy Wilson, Fadi Wedyan, Safwan Omari	An Empirical Evaluation and Comparison of the Impact of MVVM and MVC GUI Driven Application Architectures on Maintainability and Testability.	IDSTA	2022	DBLP DOI BibTeX RDF
13	Wei-Ming Ma, William S. Chao	Architecture Oriented Design to Enhance the Testability of Smart Tourism City IoT System.	PACIS	2022	DBLP BibTeX RDF
13	Rohit Bhattacharya, Razieh Nabi	On testability of the front-door model via Verma constraints.	UAI	2022	DBLP BibTeX RDF
13	Louis Esperet, Sergey Norin	Testability and Local Certification of Monotone Properties in Minor-Closed Classes.	ICALP	2022	DBLP DOI BibTeX RDF
13	Feras Al Kassar, Giulia Clerici, Luca Compagna, Davide Balzarotti, Fabian Yamaguchi	Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications.	NDSS	2022	DBLP BibTeX RDF
13	Abram Detofsky	Special Session: A Testability Practitioner's Guide to Chiplets.	VTS	2022	DBLP DOI BibTeX RDF
13	Sebastian Huhn 0001, Rolf Drechsler	Next Generation Design For Testability, Debug and Reliability Using Formal Techniques.	ITC	2022	DBLP DOI BibTeX RDF
13	Tali Kaufman, Izhar Oppenheim	High Dimensional Expansion Implies Amplified Local Testability.	APPROX/RANDOM	2022	DBLP DOI BibTeX RDF
13	Yixin Hu, Yigang Sun, Jiao Xue	Exponential-Based Testability Index Allocation and Feasibility Analysis Method.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Xuezheng Zhu, Chaoshuai Han, Ruiqi Liu, Guohui Yan, Jin Gu	One universal method of complex system reliability, maintainability, supportability, testability quotas design and trade-off based on improved flower pollination algorithm.	Qual. Reliab. Eng. Int.	2021	DBLP DOI BibTeX RDF
13	S. Rooban, Prasanna D. Lakshmi, Teja K. B. S. Durga, Kumar P. V. Mani	Carry Select Adder Design with Testability using Reversible Gates.	Int. J. Perform. Eng.	2021	DBLP DOI BibTeX RDF
13	Hsin-Yu Chien, Chin-Yu Huang, Chih-Chiang Fang	Applying Slicing-based Testability Transformation to Improve Test Data Generation with Symbolic Execution.	Int. J. Perform. Eng.	2021	DBLP DOI BibTeX RDF
13	Joyati Mondal, Arighna Deb, Debesh K. Das	An Efficient Design for Testability Approach of Reversible Logic Circuits.	J. Circuits Syst. Comput.	2021	DBLP DOI BibTeX RDF
13	Mahshid Tebyanian, Azadeh Mokhtarpour, Alireza Shafieinejad	SC-COTD: Hardware Trojan Detection Based on Sequential/Combinational Testability Features using Ensemble Classifier.	J. Electron. Test.	2021	DBLP DOI BibTeX RDF
13	Dave Y.-W. Lin, Charles H.-P. Wen	A Delay-Adjustable, Self-Testable Flip-Flop for Soft-Error Tolerability and Delay-Fault Testability.	ACM Trans. Design Autom. Electr. Syst.	2021	DBLP DOI BibTeX RDF
13	A. N. Trahtman	An algorithm to verify local threshold testability of deterministic finite automata.	CoRR	2021	DBLP BibTeX RDF
13	Luca Guglielmo, Andrea Riboni, Giovanni Denaro	Towards Evidence-based Testability Measurements.	CoRR	2021	DBLP BibTeX RDF
13	Min Li 0019, Zhengyuan Shi, Zezhong Wang 0006, Weiwei Zhang, Yu Huang, Qiang Xu 0001	Testability-Aware Low Power Controller Design with Evolutionary Learning.	CoRR	2021	DBLP BibTeX RDF
13	Eran Nevo	Embedding Divisor and Semi-Prime Testability in f-vectors of polytopes.	CoRR	2021	DBLP BibTeX RDF
13	A. N. Trahtman	A package TESTAS for checking some kinds of testability.	CoRR	2021	DBLP BibTeX RDF
13	A. N. Trahtman	Verification Tools for Checking some kinds of Testability.	CoRR	2021	DBLP BibTeX RDF
13	Tali Kaufman, Izhar Oppenheim	High dimensional expansion implies amplified local testability.	CoRR	2021	DBLP BibTeX RDF
13	Tomás Masopust, Markus Krötzsch	Partially Ordered Automata and Piecewise Testability.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
13	Katherine Harrison, Ahmet Börütecene, Jonas Löwgren, Desirée Enlund, Rasmus Ringdahl, Vangelis Angelakis	Design of Reversible Arithmetic Logic Unit with Built-In Testability.	IEEE Technol. Soc. Mag.	2021	DBLP DOI BibTeX RDF
13	Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa	VP_TT: A value propagation based equivalence checker for testability transformations.	IET Softw.	2021	DBLP DOI BibTeX RDF
13	Isolde Adler, Noleen Köhler, Pan Peng 0001	On Testability of First-Order Properties in Bounded-Degree Graphs.	SODA	2021	DBLP DOI BibTeX RDF
13	Anthony Leverrier, Vivien Londe, Gilles Zémor	Towards Local Testability for Quantum Coding.	ITCS	2021	DBLP DOI BibTeX RDF
13	Kangkang Dou, Mengyuan Zhan, Zhen Li 0020, Xiankang Chen	Testability Evaluation by Multi-sources Bayes Method Applied in Torpedo Weapon System with Improved Jaccard Similarity.	ACAI	2021	DBLP DOI BibTeX RDF
13	Oren Becker, Alexander Lubotzky, Jonathan Mosheiff	Testability of relations between permutations.	FOCS	2021	DBLP DOI BibTeX RDF
13	Alexander M. Gruzlikov, Nikolai V. Kolesov	Testability Distributed Real-Time Computing System.	SysTol	2021	DBLP DOI BibTeX RDF
13	Morteza Zakeri Nasrabadi, Saeed Parsa	Learning to Predict Software Testability.	CSICC	2021	DBLP DOI BibTeX RDF
13	Anurag Tulsiram, William R. Eisenstadt	Design for Testability of Low Dropout Regulators.	VTS	2021	DBLP DOI BibTeX RDF