- document
-
Mo, J. (author), Schaffar, Gerald J.K. (author), Du, L. (author), Maier-Kiener, Verena (author), Kiener, Daniel (author), Vollebregt, S. (author), Zhang, Kouchi (author)Silicon carbide (SiC) coated vertically aligned carbon nanotubes (VACNT) are attractive material for fabricating MEMS devices as an alternative for bulk micromachining of SiC. In order to examine the mechanical properties of SiC-CNT composites at high temperatures, we fabricated VACNT micro-pillars with different amounts of SiC coating and...conference paper 2024
- document
-
Yuan, Cadmus (author), de Jong, S.D.M. (author), van Driel, W.D. (author)The demand for rapid advancement in AI, mobile and automotive markets is pushing the boundaries of electronic packaging, including heterogeneous integration, high-power packages, and large-die packaging. Against this backdrop, machine learning technologies emerge as dynamic tools for correlation building and classification, revolutionizing the...conference paper 2024
- document
-
Sapozhnikov, Arkadii (author), Olsthoorn, Mitchell (author), Panichella, A. (author), Kovalenko, V.V. (author), Derakhshanfar, P. (author)Writing software tests is laborious and time-consuming. To address this, prior studies introduced various automated test-generation techniques. A well-explored research direction in this field is unit test generation, wherein artificial intelligence (AI) techniques create tests for a method/class under test. While many of these techniques have...conference paper 2024
- document
-
Zaidman, A.E. (author), Khatami, Ali (author)Software engineers employ a variety of approaches to ensure the quality of software systems, including software testing, modern code review, automated static analysis, build automation, and continuous integration. To make effective decisions regarding quality assurance (QA), software engineers need to have an awareness of (1) the QA approaches...conference paper 2023
- document
-
Chao, C. (author), Jommi, C. (author), Muraro, S. (author)Element testing of soft soils is challenging due to the large strains attained in the pre-failure range. Besides the heterogeneity of natural samples, the set-up configuration is the main driving factor for non-homogenous response. Stress, strain and pore pressure non-uniformities induced by the loading system affect the observed behaviour and...conference paper 2023
- document
-
Hammer, T.C. (author), Hendrikse, H. (author)Drifting sea ice failing in crushing against vertically-sided offshore structures can cause ice-induced vibrations. Offshore structures are typically founded on slender structures to minimize the load effect of waves and currents. In combination with large top masses, those offshore structures often provide sufficient compliance for ice-induced...conference paper 2023
- document
-
Marzouk, I. (author), Tschuchnigg, F. (author), Brinkgreve, R.B.J. (author)An ongoing research project aims to create an automated parameter determination (APD) framework relying on a graph-based approach for determining constitutive model parameters from in-situ tests. The system requires two spreadsheets as inputs. One spreadsheet defines the parameters, while the other spreadsheet specifies the correlations. The...conference paper 2023
- document
-
Brandt, C.E. (author), Wang, D. (author), Zaidman, A.E. (author)Test amplification generates new tests by mutating existing, developer-written tests and keeping those tests that improve the coverage of the test suite. Current amplification tools focus on starting from a specific test and propose coverage improvements all over a software project, requiring considerable effort from the software engineer to...conference paper 2023
- document
-
Verhoeven, C.J.M. (author), Montagne, A.J.M. (author)We are developing content and software to automate the homologation for our Electronics courses to deal with the increasing diversity in knowledge and skills of the master students who have completed their bachelor’s at other universities. The courses’ content has been structured such that dependencies between topics become explicit. A...conference paper 2023
- document
-
Shome, A. (author), Cruz, Luis (author), van Deursen, A. (author)Visualisations drive all aspects of the Machine Learning (ML) Development Cycle but remain a vastly untapped resource by the research community. ML testing is a highly interactive and cognitive process which demands a human-in-the-loop approach. Besides writing tests for the code base, bulk of the evaluation requires application of domain...conference paper 2023
- document
-
Ardıç, B.A. (author), Zaidman, A.E. (author)Software testing is generally acknowledged to be an important weapon in the arsenal of software engineers to produce correct and reliable software systems. However, given the importance of the topic, little is known about where software engineers get their testing knowledge and skills from. Is this through (higher) education, training...conference paper 2023
- document
-
Balayn, A.M.A. (author), Rikalo, N. (author), Yang, J. (author), Bozzon, A. (author)Handling failures in computer vision systems that rely on deep learning models remains a challenge. While an increasing number of methods for bug identification and correction are proposed, little is known about how practitioners actually search for failures in these models. We perform an empirical study to understand the goals and needs of...conference paper 2023
- document
-
Xun, H. (author), Fieback, M. (author), Yuan, S. (author), Zhang, Ziwei (author), Taouil, M. (author), Hamdioui, S. (author)Resistive Random Access Memory (RRAM) is a potential technology to replace conventional memories by providing low power consumption and high-density storage. As various manufacturing vendors make significant efforts to push it to high-volume production and commercialization, high-quality and efficient test solutions are of great importance. This...conference paper 2023
- document
-
Yuan, S. (author), Zhang, Z. (author), Fieback, M. (author), Xun, H. (author), Marinissen, E. J. (author), Kar, G. S. (author), Rao, S. (author), Couet, S. (author), Taouil, M. (author), Hamdioui, S. (author)The development of Spin-Transfer Torque Magnetic RAMs (STT-MRAMs) mass production requires high-quality test solutions. Accurate and appropriate fault modeling is crucial for the realization of such solutions. This paper targets fault modeling and test generation for all interconnect and contact defects in STT-MRAMs and shows that using the...conference paper 2023
- document
-
Martin, H.A. (author), Reintjes, Marcia (author), Reijs, Dave (author), Dorrestein, Sander (author), Kengen, Martien (author), Libon, Sebastien (author), Smits, Edsger (author), Tang, Xiao (author), Koelink, Marco (author), Poelma, René H. (author), van Driel, W.D. (author), Zhang, Kouchi (author)Integrated Circuits and Electronic Modules experience concentrated thermal hot spots, which require advanced thermal solutions for effective distribution and dissipation of heat. The superior thermal properties of diamonds are long known, and it is an ideal material for heat-spreading applications. However, growing diamond films to the...conference paper 2023
- document
-
Ganeshpure, D.A. (author), Soeiro, Thiago B. (author), Ghaffarian Niasar, M. (author), Vaessen, P.T.M. (author)A Modular Multilevel Converter (MMC)-based Arbitrary Wave shape Generator (AWG) for High Voltage (HV) testing faces challenges in the control hardware to generate kHz-range high-frequency waveforms. Real Time Simulators (RTS) provide a simple way to implement the control of the MMC-based AWG in the FPGA. One of the commercially available RTS...conference paper 2023
- document
-
Thukral, V. (author), Bacquet, Irene (author), Van Soestbergen, Michiel (author), Zaal, Jeroen (author), Roucou, Romuald (author), Rongen, Rene (author), van Driel, W.D. (author), Zhang, Kouchi (author)Board level vibration testing is a commonly used method to predict the solder joint reliability of surface-mounted components seated onto printed circuit boards (PCB). Current board level vibration test methods are mainly developed from a solely mechanical stress application standpoint. This makes such stress tests one dimensional in nature...conference paper 2023
- document
-
Abolfazli, Amir (author), Spiegelberg, Jakob (author), Anand, A. (author), Palmer, Gregory (author)Configurable software systems have become increasingly popular as they enable customized software variants. The main challenge in dealing with configuration problems is that the number of possible configurations grows exponentially as the number of features increases. Therefore, algorithms for testing customized software have to deal with the...conference paper 2023
- document
-
Decouchant, Jérémie (author), Kulahcioglu Ozkan, Burcu (author), Zhou, Yanzhuo (author)Byzantine consensus protocols aim at maintaining safety guarantees under any network synchrony model and at providing liveness in partially or fully synchronous networks. However, several Byzantine consensus protocols have been shown to violate liveness properties under certain scenarios. Existing testing methods for checking the liveness of...conference paper 2023
- document
-
Aouichi, A. (author), Yuan, S. (author), Fieback, M. (author), Rao, Siddharth (author), Kim, Woojin (author), Marinissen, Erik Jan (author), Couet, Sebastien (author), Taouil, M. (author), Hamdioui, S. (author)Spin-Transfer Torque Magnetic RAMs (STT-MRAMs) are on their way to commercialization. However, obtaining high-quality test and diagnosis solutions for STT-MRAMs is challenging due to the existence of unique defects in Magnetic Tunneling Junctions (MTJs). Recently, the Device-Aware Test (DA-Test) method has been put forward as an effective...conference paper 2023