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 |
|