Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Exploiting the Unique Expression for Improved Sentiment Analysis in Software Engineering Text.

[BibT_eX]

[DOI]

Kexin Sun

Proceedings of the 29th IEEE/ACM International Conference on Program Comprehension, 2021

PASTA: Synthesizing Object State Transformers for Dynamic Software Updates.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Synthesizing Object State Transformers for Dynamic Software Updates.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Predicted Robustness as QoS for Deep Neural Network Models.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

Perspectives on search strategies in automated test input generation.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2020

Operational calibration: debugging confidence errors for DNNs in the field.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Testing for Dynamic Software Update: An Object-State-Oriented Approach.

[BibT_eX]

[DOI]

Di Huang

Zelin Zhao

Xiaoxing Ma

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

Overwhelming Uncertainty in Self-adaptation: An Empirical Study on PLA and CobRA.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

ComboDroid: generating high-quality test inputs for Android apps via use case combinations.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Dissector: input validation for deep learning applications by crossing-layer dissection.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Testing file system implementations on layered models.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Instance Migration Validity for Dynamic Evolution of Data-Aware Processes.

[BibT_eX]

[DOI]

Wei Song

Xiaoxing Ma

Hans-Arno Jacobsen

IEEE Trans. Software Eng., 2019

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Boosting operational DNN testing efficiency through conditioning.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

Fast Robustness Prediction for Deep Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

Speedup Automatic Program Repair Using Dynamic Software Updating: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

Structural coverage criteria for neural networks could be misleading.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Practical GUI testing of Android applications via model abstraction and refinement.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

ParaAim: Testing Android Applications Parallel at Activity Granularity.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

AATT+: Effectively manifesting concurrency bugs in Android apps.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Efficient validation of self-adaptive applications by counterexample probability maximization.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Mining API usage change rules for software framework evolution.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Testing multithreaded programs via thread speed control.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SynEva: Evaluating ML Programs by Mirror Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

ReScue: crafting regular expression DoS attacks.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Synthesizing relation-aware entity transformation by examples.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Improving Cluster Resource Efficiency with Oversubscription.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Efficient Dynamic Updates of Distributed Components Through Version Consistency.

[BibT_eX]

[DOI]

Luciano Baresi

Carlo Ghezzi

Xiaoxing Ma

Valerio Panzica La Manna

IEEE Trans. Software Eng., 2017

Scientific Workflow Mining in Clouds.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

How effectively can spreadsheet anomalies be detected: An empirical study.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2017

CyanDroid: stable and effective energy inefficiency diagnosis for Android apps.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

Software Is Not Soft - Challenges and Approaches to Dynamic Software Update.

[BibT_eX]

[DOI]

Xiaoxing Ma

Tianxiao Gu

Wei Song

Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017

API Usage Change Rules Mining based on Fine-grained Call Dependency Analysis.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Synthesizing object transformation for dynamic software updating.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Xdroid: Testing Android Apps with Dependency Injection.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Leveraging Column Family to Improve Multidimensional Query Performance in HBase.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2016

Process Discovery from Dependence-Complete Event Logs.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2016

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Suppressing detection of inconsistency hazards with pattern learning.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

Online shared memory dependence reduction via bisectional coordination.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Crash consistency validation made easy.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Verifying Distributed Controllers with Local Invariants.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automatic runtime recovery via error handler synthesis.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

E-greenDroid: effective energy inefficiency analysis for android applications.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

SLA-Aware and Green Resource Management of IaaS Clouds.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

Apsaras: Efficient Allocation of Physical Devices for Android Testing.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

CURE: Automated Patch Generation for Dynamic Software Update.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Testing Android Apps via Guided Gesture Event Generation.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Effectively Manifesting Concurrency Bugs in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Improving Reliability of Dynamic Software Updating Using Runtime Recovery.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Cina: Suppressing the Detection of Unstable Context Inconsistency.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

An Event-Based Formal Framework for Dynamic Software Update.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Optimistic Shared Memory Dependence Tracing (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Concolic Metamorphic Debugging.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

ABC: Accelerated Building of C/C++ Projects.

[BibT_eX]

[DOI]

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Design of a Sliding Window over Distributed and Asynchronous Event Streams.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

Low-disruptive dynamic updating of Java applications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

A middleware platform for the dynamic evolution of distributed component-based systems.

[BibT_eX]

[DOI]

Yu Zhou

Xiaoxing Ma

Harald C. Gall

Computing, 2014

Verifying self-adaptive applications suffering uncertainty.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Automated recommendation of dynamic software update points: an exploratory study.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

CARE: cache guided deterministic replay for concurrent Java programs.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Measuring User Similarity with Trajectory Patterns: Principles and New Metrics.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies and Applications - 16th Asia-Pacific Web Conference, 2014

SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

GAIN: GPU-Based Constraint Checking for Context Consistency.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

User Guided Automation for Testing Mobile Apps.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2013

Application mobility in pervasive computing: A survey.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2013

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2013

Detecting Faults in Context-Aware Adaptation.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2013

Verifying PRAM Consistency over Read/Write Traces of Data Replicas

[BibT_eX]

[DOI]

CoRR, 2013

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

CoRR, 2013

Editor's note.

[BibT_eX]

[DOI]

Gang Huang

Xiaoxing Ma

Weitek Tsai

Sci. China Inf. Sci., 2013

DPAC: an infrastructure for dynamic program analysis of concurrency Java programs.

[BibT_eX]

[DOI]

Yanyan Jiang

Chang Xu

Xiaoxing Ma

Proceedings of the 2013 Middleware Doctoral Symposium, 2013

Environment rematching: Toward dependability improvement for self-adaptive applications.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

COCO: consistency analysis of process-driven internetware applications.

[BibT_eX]

[DOI]

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Challenges in developing software for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Migration Validity of WS-BPEL Instances Revisited.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

Managing Environment and Adaptation Risks for the Internetware Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

Environmental Modeling for Automated Cloud Application Testing.

[BibT_eX]

[DOI]

IEEE Softw., 2012

Adam: Identifying defects in context-aware adaptation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Formal specification and runtime detection of temporal properties for asynchronous context.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Dynamic fault detection in context-aware adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

A priority-based transaction commit protocol for composite web services.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications.

[BibT_eX]

[DOI]

Yu Huang

Xiaoxing Ma

Yiling Yang

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

ConsView: Towards Application-Specific Consistent Context Views.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Resynchronizing Model-Based Self-Adaptive Systems with Environments.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Javelus: A Low Disruptive Approach to Dynamic Software Updates.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Towards Dynamic Evolution of Service Choreographies.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2011

Design of a Sliding Window over Asynchronous Event Streams

[BibT_eX]

[DOI]

CoRR, 2011

Version-consistent dynamic reconfiguration of component-based distributed systems.

[BibT_eX]

[DOI]

Xiaoxing Ma

Luciano Baresi

Carlo Ghezzi

Valerio Panzica La Manna

Jian Lu

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2011

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

2010

Toward a fuzzy control-based approach to design of self-adaptive software.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Preserving Data Flow Correctness in Process Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments

[BibT_eX]

[DOI]

CoRR, 2009

Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency.

[BibT_eX]

[DOI]

Proceedings of the Visual Information Communication, 2009

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

ARTEMIS: an open coordination middleware system.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Internetware: a shift of software paradigm.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

Multi-mode interaction middleware for software services.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

On environment-driven software model for Internetware.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

Toward a Model-Based Approach to Dynamic Adaptation of Composite Services.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007

Expectation, experiment and reflection on internet software evolution.

[BibT_eX]

[DOI]

Ping Yu

Xiaoxing Ma

Jian Lu

ACM SIGSOFT Softw. Eng. Notes, 2007

Constructing Self-Adaptive Systems with Polymorphic Software Architecture.

[BibT_eX]

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Applying ontology in architecture-based self-management applications.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Mutual Exclusion Algorithm for Mobile Agents-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing and Applications, 2007

2006

Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection.

[BibT_eX]

[DOI]

Proceedings of the Smart Sensing and Context, First European Conference, EuroSSC 2006, 2006

2005

Dynamic Software Architecture Oriented Service Composition and Evolution.

[BibT_eX]

[DOI]

Ping Yu

Xiaoxing Ma

Jian Lu

Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2003

Architecting and implementing distributed Web applications using the graph-oriented approach.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2003

A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

A mobile-agent-based approach to software coordination in the HOOPE system.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2002

WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications.

[BibT_eX]

[DOI]

Xiaoxing Ma

Alvin T. S. Chan

Jian Lu

Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

2000

A hierarchical framework: for parallel seismic applications.

[BibT_eX]

[DOI]

Commun. ACM, 2000

Xiaoxing Ma

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...