Yuting Chen

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs.
IEEE Trans. Reliab., March, 2024

A Systematic Review of Research on Immersive Technology-Enhanced Writing Education: The Current State and a Research Agenda.
IEEE Trans. Learn. Technol., 2024

2023
DuReSE: Rewriting Incomplete Utterances via Neural Sequence Editing.
Neural Process. Lett., December, 2023

Product line design and introduction strategies for crowdfunding in presence of social learning.
Adv. Eng. Informatics, October, 2023

From motivational experience to creative writing: A motivational AR-based learning approach to promoting Chinese writing performance and positive writing behaviours.
Comput. Educ., September, 2023

Stochastic dynamic and reliability analysis of AP1000 nuclear power plants via DPIM subjected to mainshock-aftershock sequences.
Reliab. Eng. Syst. Saf., July, 2023

Freely switching between ferroelectric and resistive switching in Hf0.5Zr0.5O2 films and its application on high accuracy on-chip deep neural networks.
Sci. China Inf. Sci., February, 2023

Advertising and pricing decisions for signaling crowdfunding product's quality.
Comput. Ind. Eng., February, 2023

Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations.
ACM Trans. Softw. Eng. Methodol., January, 2023

A Back Propagation Neural Network-Based Radiometric Correction Method (BPNNRCM) for UAV Multispectral Image.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

A server bypass architecture for hopscotch hashing key-value store on DRAM-NVM memories.
J. Syst. Archit., 2023

Online educational video engagement prediction based on dynamic graph neural networks.
Int. J. Web Inf. Syst., 2023

Synergizing Human-AI Agency: A Guide of 23 Heuristics for Service Co-Creation with LLM-Based Agents.
CoRR, 2023

16-layer 3D Vertical RRAM with Low Read Latency (18ns), High Nonlinearity (>5000) and Ultra-low Leakage Current (~pA) Self-Selective Cells.
Proceedings of the 2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), 2023

InfeRE: Step-by-Step Regex Generation via Chain of Inference.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Dictionary Matching Based 2D Thin Slice Generalized Slice-dithered Enhanced Resolution (gSlider) Variable Flip Angle T<sub>1</sub> Mapping.
Proceedings of the Image and Graphics - 12th International Conference, 2023

DFairNAS: A Dataflow Fairness Approach to Training NAS Neural Networks.
Proceedings of the 16th International Congress on Image and Signal Processing, 2023

2022
An Ultralow-Power 65-nm Standard Cell Library for Near/Subthreshold Digital Circuits.
IEEE Trans. Very Large Scale Integr. Syst., 2022

LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM.
IEEE Trans. Reliab., 2022

Semi-Supervised Learning for Automatic Atrial Fibrillation Detection in 24-Hour Holter Monitoring.
IEEE J. Biomed. Health Informatics, 2022

Revisiting the Relationship Between Contract Governance and Contractors' Opportunistic Behavior in Construction Projects.
IEEE Trans. Engineering Management, 2022

Building a Three-Level User Experience (UX) Measurement Framework for Mobile Banking Applications in a Chinese Context: An Analytic Hierarchy Process (AHP) Analysis.
Multimodal Technol. Interact., 2022

Multi-objective two-level medical facility location problem and tabu search algorithm.
Inf. Sci., 2022

Automatically repairing tensor shape faults in deep learning programs.
Inf. Softw. Technol., 2022

Multi-UAV Collaborative Path Planning using Hierarchical Reinforcement Learning and Simulated Annealing.
Int. J. Perform. Eng., 2022

Testing for Serial Correlation in Autoregressive Exogenous Models with Possible GARCH Errors.
Entropy, 2022

Stabilization of stochastic coupled systems with Lévy noise and regime switching diffusions via intermittent control with a time delay.
Commun. Nonlinear Sci. Numer. Simul., 2022

Multi-objective optimization and algorithm improvement on thermal coupling of SOFC-GT-ORC integrated system.
Comput. Chem. Eng., 2022

Promoting deep writing with immersive technologies: An SVVR-supported Chinese composition writing approach for primary schools.
Br. J. Educ. Technol., 2022

Multi-precision traffic speed predictions via modified sequence to sequence model and spatial dependency evaluation method.
Appl. Soft Comput., 2022

Framework of Twin Virtual Geographic Environment.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

A Multi-Level Situational Awareness Method with Dynamic Multi-Modal Data Visualization for Air Pollution Monitoring.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

Zebra: An Efficient, RDMA-Enabled Distributed Persistent Memory File System.
Proceedings of the Database Systems for Advanced Applications, 2022

Hierarchical memory-constrained operator scheduling of neural architecture search networks.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021
Quantifying the Responses of Evapotranspiration and Its Components to Vegetation Restoration and Climate Change on the Loess Plateau of China.
Remote. Sens., 2021

The Water Availability on the Chinese Loess Plateau since the Implementation of the Grain for Green Project as Indicated by the Evaporative Stress Index.
Remote. Sens., 2021

DeFiHap: Detecting and Fixing HiveQL Anti-Patterns.
Proc. VLDB Endow., 2021

Hybrid oscillator-based no-delay hip exoskeleton control for free walking assistance.
Ind. Robot, 2021

Context-Aware Conversational Recommendation of Trigger-Action Rules in IoT Programming.
Int. J. Softw. Eng. Knowl. Eng., 2021

China's overcapacity industry evaluation based on TOPSIS grey relational projection method with mixed attributes.
Grey Syst. Theory Appl., 2021

On the constructions of <i>n</i>-cycle permutations.
Finite Fields Their Appl., 2021

Versioned geoscientific workflow for the collaborative geo-simulation of human-nature interactions - a case study of global change and human activities.
Int. J. Digit. Earth, 2021

An Empirical Study on Tensor Shape Faults in Deep Learning Systems.
CoRR, 2021

Vehicle detection from road image sequences for intelligent traffic scheduling.
Comput. Electr. Eng., 2021

TDMatcher: A topic-based approach to task-developer matching with predictive intelligence for recommendation.
Appl. Soft Comput., 2021

Diagnostic test decision for suppliers in cruise-building supply chain with information asymmetry.
Adv. Eng. Informatics, 2021

ConLAR: Learning to Allocate Resources to Docker Containers under Time-Varying Workloads.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Mining the Graph Representation of Traffic Speed Data for Graph Convolutional Neural Network.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Analysis of Different Graph Convolutional Network Prediction Models with Spatial Dependence Evaluation.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Reno: An RDMA-Enabled, Non-Volatile Memory-Optimized Key-Value Store.
Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

Four-rotor aerobatic flight of inverted pendulum based on reinforcement learning.
Proceedings of the ICAIIS 2021: 2021 2nd International Conference on Artificial Intelligence and Information Systems, Chongqing, China, May 28, 2021

A Novel Approach to 3D Reconstruction Technology of Small Cultural Relics Based on Spatial Coded Texture Image Projection.
Proceedings of the 28th International Conference on Geoinformatics, 2021

JPDHeap: A JVM Heap Design for PM-DRAM Memories.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

ApproxiFuzzer: Fuzzing towards Deep Code Snippets in Java Programs.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Learning to Match Workers and Tasks via a Multi-View Graph Attention Network.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Chinese Administrative Penalty Event Extraction for Due Diligence in Financial Markets.
Proceedings of the Web Information Systems and Applications, 2021

2020
Reinforcement Learning Based Fast Self-Recalibrating Decoder for Intracortical Brain-Machine Interface.
Sensors, 2020

Analysis and Synthesis of Traffic Scenes from Road Image Sequences.
Sensors, 2020

IOS-Net: An inside-to-outside supervision network for scale robust text detection in the wild.
Pattern Recognit., 2020

PremPS: Predicting the impact of missense mutations on protein stability.
PLoS Comput. Biol., 2020

Feedback2Code: A Deep Learning Approach to Identifying User-Feedback-Related Source Code Files.
Int. J. Softw. Eng. Knowl. Eng., 2020

Semantic Service Search in IT Crowdsourcing Platform: A Knowledge Graph-Based Approach.
Int. J. Softw. Eng. Knowl. Eng., 2020

On the constructions of n-cycle permutations.
CoRR, 2020

Adaptive Variable Neighborhood Search-Based Supply Network Reconfiguration for Robustness Enhancement.
Complex., 2020

Integrative analysis of cross-modal features for the prognosis prediction of clear cell renal cell carcinoma.
Bioinform., 2020

Memetic Algorithm With Local Neighborhood Search for Bottleneck Supplier Identification in Supply Networks.
IEEE Access, 2020

Are the Code Snippets What We Are Searching for? A Benchmark and an Empirical Study on Code Search with Natural-Language Queries.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Learning to Recommend Trigger-Action Rules for End-User Development - A Knowledge Graph Based Approach.
Proceedings of the Reuse in Emerging Software Engineering Practices, 2020

Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Learning Code-Query Interaction for Enhancing Code Searches.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Scenario-aware and Mutual-based approach for Multi-scenario Recommendation in E-Commerce.
Proceedings of the 20th International Conference on Data Mining Workshops, 2020

Deep Learning (DL) Based On-board Indirect Useful Life Prediction.
Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Global Guidance for Local Generalization in Model Checking.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Probabilistic Semantic Retrieval for Surveillance Videos With Activity Graphs.
IEEE Trans. Multim., 2019

JDap: Supporting in-memory data persistence in javascript using Intel's PMDK.
J. Syst. Archit., 2019

API recommendation for event-driven Android application development.
Inf. Softw. Technol., 2019

Time Series Anomaly Detection Based on GAN.
Proceedings of the Sixth International Conference on Social Networks Analysis, 2019

CrowDevBot: A Task-Oriented Conversational Bot for Software Crowdsourcing Platform (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Enhancing Semantic Search of Crowdsourcing IT Services using Knowledge Graph.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Generating SQL Statements from Natural Language Queries: A Multitask Learning Approach (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Constructing a Knowledge Base of Coding Conventions from Online Resources.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019


CocoQa: Question Answering for Coding Conventions Over Knowledge Graphs.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Deep differential testing of JVM implementations.
Proceedings of the 41st International Conference on Software Engineering, 2019

Standard Cell Optimization for Ultra-Low-Voltage Digital Circuits.
Proceedings of the International Conference on IC Design and Technology, 2019

A Frequency-Aware Spatio-Temporal Network for Traffic Flow Prediction.
Proceedings of the Database Systems for Advanced Applications, 2019

An Adaptive Approach to Recommending Obfuscation Rules for Java Bytecode Obfuscators.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Reinforcement Learning of Code Search Sessions.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
A stroboscopic online three-dimensional measurement for fast rotating object with binary dithered patterns.
Trans. Inst. Meas. Control, 2018

PremPDI estimates and interprets the effects of missense mutations on protein-DNA interactions.
PLoS Comput. Biol., 2018

The role of model checking in software engineering.
Frontiers Comput. Sci., 2018

The Effects of Value Creation Practices on Online Brand Community Participation and Customer Relationship Performance.
Proceedings of the 22nd Pacific Asia Conference on Information Systems, 2018

LibraryGuru: API recommendation for Android developers.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

JSNVM: Supporting Data Persistence in JavaScript Using Non-Volatile Memory.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Research on hyper parameter tuning for distributed optimization when data is sparse.
Proceedings of the 2nd International Conference on Machine Learning and Soft Computing, 2018

SPMP: A JavaScript Support for Shared Persistent Memory on Node.js.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Robustness Testing of Intermediate Verifiers.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Learning CNN to Pair UAV Video Image Patches.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2017

A subspace conjugate gradient algorithm for large-scale unconstrained optimization.
Numer. Algorithms, 2017

The selection of key temperature measuring points for the compensation of thermal errors of CNC machining tools.
Int. J. Manuf. Res., 2017

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code.
IEICE Trans. Inf. Syst., 2017

A Survey on Data-Flow Testing.
ACM Comput. Surv., 2017

Guided, stochastic model-based GUI testing of Android apps.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Cold-Start Developer Recommendation in Software Crowdsourcing: A Topic Sampling Approach.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

CRSearcher: Searching Code Database for Repairing Bugs.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

Triggerless Happy - Intermediate Verification with a First-Order Prover.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

A reliable messaging middleware for financial institutions.
Proceedings of the 3rd International Conference on Communication and Information Processing, 2017

An Outlier Detection Technique Based on Spectral Clustering.
Proceedings of the International Conference on Big Data and Internet of Things, 2017

2016
Supporting Selective Undo for Refactoring.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Evaluating quality-in-use of FLOSS through analyzing user reviews.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Coverage-directed differential testing of JVM implementations.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

LockPeeker: detecting latent locks in Java APIs.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Rule-directed code clone synchronization.
Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Multicast routing tree for sequenced packet transmission in software-defined networks.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Multi-perspective change impact analysis using linked data of software engineering.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Spectral-spatial classification of hyperspectral images with Gaussian process.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Efficient Training of Very Deep Neural Networks for Supervised Hashing.
Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

SatiIndicator: Leveraging User Reviews to Evaluate User Satisfaction of SourceForge Projects.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Software Defect Prediction Using Semi-Supervised Learning with Change Burst Information.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

GRETA: Graph-Based Tag Assignment for GitHub Repositories.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Theory-Specific Reasoning about Loops with Arrays using Vampire.
Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

Heterogeneous Cross-Company Effort Estimation through Transfer Learning.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Supervised Hashing with Deep Neural Networks.
CoRR, 2015

A comparison of a generic MCMC-based algorithm for Bayesian estimation in C++, R and Julia: application to plant growth modeling.
Proceedings of the 48th Annual Simulation Symposium, 2015

WIP - Promoting good modeling practice with a domain-specific language and statistical algorithms designed for parallel computing.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Guided differential testing of certificate validation in SSL/TLS implementations.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Towards Effective Developer Recommendation in Software Crowdsourcing.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Efficient Activity Retrieval through Semantic Graph Queries.
Proceedings of the 23rd Annual ACM Conference on Multimedia Conference, MM '15, Brisbane, Australia, October 26, 2015

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Group Membership Prediction.
Proceedings of the 2015 IEEE International Conference on Computer Vision, 2015

Trace-based debugging for advanced-dispatching programming languages.
Proceedings of the 10th Workshop on Implementation, 2015

TBIL: A Tagging-Based Approach to Identity Linkage Across Software Communities.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Multi-operative USB HD: An All-In-One Solution to IT Supports and Forensic Experts.
J. Softw., 2014

A constraint-weaving approach to points-to analysis for AspectJ.
Frontiers Comput. Sci., 2014

Incremental Points-to Analysis for Java via Edit Propagation.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

AspectBreeze: integrating trustworthiness aspects into graph grammar supported architecture description language.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Anomalous cluster detection.
Proceedings of the IEEE International Conference on Acoustics, 2014

A Novel Visual Word Co-occurrence Model for Person Re-identification.
Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

A Scenario-Based Approach to Predicting Software Defects Using Compressed C4.5 Model.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Mining Developer Mailing List to Predict Software Defects.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Connected Sub-graph Detection.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, 2014

2013
Automated Breakpoint Generation for Debugging.
J. Softw., 2013

Platform Independent Analysis of Probabilities on Multithreaded Programs.
Int. J. Softw. Innov., 2013

Checking Internal Consistency of SOFL Specification: A Hybrid Approach.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Towards an EDSL to Enhance Good Modelling Practice for Non-linear Stochastic Discrete Dynamical Models - Application to Plant Growth Models.
Proceedings of the SIMULTECH 2013, 2013

Extracting URLs from JavaScript via program analysis.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Optimal Control of Crop Irrigation based on the Hamilton-Jacobi-Bellman Equation.
Proceedings of the SIAM Conference on Control and its Applications, 2013

Iterative convolution particle filtering for nonlinear parameter estimation and data assimilation with application to crop yield prediction.
Proceedings of the SIAM Conference on Control and its Applications, 2013

Constraint-based locality analysis for X10 programs.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Strategy, Ownership and Space: The Logistics of Collaborative Interaction.
Proceedings of the Mensch & Computer 2013: Interaktive Vielfalt, Interdisziplinäre Fachtagung, 8.-11. September 2013, Bremen, Germany, 2013

A new one-class SVM for anomaly detection.
Proceedings of the IEEE International Conference on Acoustics, 2013

Anticrasher: Predicting and preventing impending crashes on runtime at user end.
Proceedings of the International Conference on Advances in Computing, 2013

Platform independent analysis of probabilities on execution paths of multithreaded programs.
Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012
Formal Specification-Based Inspection for Verification of Programs.
IEEE Trans. Software Eng., 2012

Compressed C4.5 Models for Software Defect Prediction.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Biomedical diagnosis and prediction using parsimonious fuzzy neural networks.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

Reduced-reference image quality assessment based on statistics of edge patterns.
Proceedings of the Digital Photography VIII, 2012

2011
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Probabilistic Points-to Analysis for Java.
Proceedings of the Compiler Construction - 20th International Conference, 2011

2010
A Rigorous Method for Inspection of Model-Based Formal Specifications.
IEEE Trans. Reliab., 2010

An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems.
Proceedings of the 10th International Conference on Quality Software, 2010

QuickWoZ: a multi-purpose wizard-of-oz framework for experiments with embodied conversational agents.
Proceedings of the 15th International Conference on Intelligent User Interfaces, 2010

BPGen: an automated breakpoint generator for debugging.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Behavior and preference in minimal personality: a study on embodied conversational agents.
Proceedings of the 12th International Conference on Multimodal Interfaces / 7. International Workshop on Machine Learning for Multimodal Interaction, 2010

2009
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs.
Proceedings of the ASE 2009, 2009

2008
A relation-based method combining functional and structural testing for test case generation.
J. Syst. Softw., 2008

A Review Approach to Detecting Violations of Consistency between Specification and Program Structures.
Int. J. Softw. Eng. Knowl. Eng., 2008

A Systematic Approach for Integrating Fault Trees into System Statecharts.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Method Combining Review and Testing for Verifying Software Systems.
Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008

2006
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

An Empirical Study on a Specification-Based Program Review Approach.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005
An Automated Approach to Specification-Based Program Inspection.
Proceedings of the Formal Methods and Software Engineering, 2005

Design of a Tool for Specification-Based Program Review.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Framework for SOFL-Based Program Review.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Tool and Case Study for Specification-Based Program Review.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Review Approach to Detecting Structural Consistency Violations in Programs.
Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005

2004
An Approach to Integration Testing Based on Data Flow Specifications.
Proceedings of the Theoretical Aspects of Computing, 2004

An Investigation of the Approach to Specification-Based Program Review through Case Studies.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004


  Loading...