A5017306833- Software Testing and Debugging Techniques
- Software Engineering Research
- Software Reliability and Analysis Research
- Advanced Software Engineering Methodologies
- Software System Performance and Reliability
- Phytoplasmas and Hemiptera pathogens
- Embedded Systems Design Techniques
- VLSI and Analog Circuit Testing
- Advanced Malware Detection Techniques
- Hemiptera Insect Studies
- Interconnection Networks and Systems
- Plant Virus Research Studies
Zhejiang University
2024
University of Nebraska–Lincoln
2006-2012
Lincoln University - Pennsylvania
2005
Researchers have explored the application of combinatorial interaction testing (CIT) methods to construct samples drive systematic software system configurations. Applying CIT highly-configurable systems is complicated by fact that, in many such systems, there are constraints between specific configuration parameters that render certain combinations invalid. Many algorithms lack a mechanism avoid these. In recent work, automated constraint solving been combined with search-based construction...
Combinatorial interaction testing (CIT) is a method to sample configurations of software system systematically for testing. Many algorithms have been developed that create CIT samples, however few considered the practical concerns arise when adding constraints between combinations options. In this paper, we survey constraint handling techniques in existing and discuss challenges they present. We examine two highly-configurable systems quantify nature real systems. then present general...
Software product line modeling has received a great deal of attention for its potential in fostering reuse software artifacts across development phases. Research on the testing phase, focused identifying test cases instances. While this offers reductions effort given instance, it does not focus and leverage fundamental abstraction that is inherent lines - variability.In paper, we illustrate how rich notations can be mapped onto an underlying relational model captures variability feasible...
Network-on-chip is the new paradigm in core-based system design. Reuse of on-chip communication network for NoC test critical to reduce cost. However, efficient reuse legacy cores challenging. A mismatch between channel width and core wrapper can adversely affect efficiency. In addition, stringent power constraints on today's high-density systems exacerbate scheduling problem. this paper, we propose a method efficiently utilizing power-aware NoCs. We make use clocking speed up data transfer...
Researchers have explored the application of combinatorial interaction testing (CIT) methods to construct samples drive systematic software system configurations. Applying CIT highly-configurable systems is complicated by fact that, in many such systems, there are constraints between specific configuration parameters that render certain combinations invalid. In recent work, automated constraint solving been combined with search-based address this problem promising results. paper, we observe...
In software development, bug report reproduction is a challenging task. This paper introduces ReBL, novel feedback-driven approach that leverages GPT-4, large-scale language model (LLM), to automatically reproduce Android reports. Unlike traditional methods, ReBL bypasses the use of Step Reproduce (S2R) entities. Instead, it entire textual and employs innovative prompts enhance GPT's contextual reasoning. more flexible context-aware than step-by-step entity matching approach, resulting in...
Researchers have explored the application of combinatorial interaction testing (CIT) methods to construct samples drive systematic software system configurations. Applying CIT highly-configurable systems is complicated by fact that, in many such systems, there are constraints between specific configuration parameters that render certain combinations invalid. In recent work, automated constraint solving been combined with search-based address this problem promising results. paper, we observe...