Baowen Xu

Orcid: 0000-0001-7743-1296

According to our database1, Baowen Xu authored at least 364 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automatic recognizing relevant fragments of APIs using API references.
Autom. Softw. Eng., June, 2024

Python meets JIT compilers: A simple implementation and a comparative evaluation.
Softw. Pract. Exp., February, 2024

COPS: An improved information retrieval-based bug localization technique using context-aware program simplification.
J. Syst. Softw., January, 2024

MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems.
CoRR, 2024

2023
Crowdsourced test case generation for android applications via static program analysis.
Autom. Softw. Eng., November, 2023

Retrieving API Knowledge from Tutorials and Stack Overflow Based on Natural Language Queries.
ACM Trans. Softw. Eng. Methodol., September, 2023

RegCPython: A Register-based Python Interpreter for Better Performance.
ACM Trans. Archit. Code Optim., March, 2023

Inconsistent Defect Labels: Essence, Causes, and Influence.
IEEE Trans. Software Eng., February, 2023

Leveraging Stack Overflow to detect relevant tutorial fragments of APIs.
Empir. Softw. Eng., 2023

Towards understanding bugs in Python interpreters.
Empir. Softw. Eng., 2023

Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities.
CoRR, 2023

How Dynamic Features Affect API Usages? An Empirical Study of API Misuses in Python Programs.
Proceedings of the IEEE International Conference on Software Analysis, 2023

Fourier U-Shaped Network for Multi-Variate Time Series Forecasting.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python.
Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

Spatio-Temporal Transformer with Clustering and Dilated Attention for Traffic Prediction.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Dual-channel spatio-temporal wavelet transform graph neural network for traffic forecasting.
Proceedings of the International Joint Conference on Neural Networks, 2023

DLInfer: Deep Learning with Static Slicing for Python Type Inference.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Social-CVAE: Pedestrian Trajectory Prediction Using Conditional Variational Auto-Encoder.
Proceedings of the Neural Information Processing - 30th International Conference, 2023

A GAN combined with Graph Contrastive Learning for Traffic Forecasting.
Proceedings of the 2023 4th International Conference on Computing, 2023

An Analysis of the Rust Programming Practice for Memory Safety Assurance.
Proceedings of the Web Information Systems and Applications, 2023

2022
CBUA: A Probabilistic, Predictive, and Practical Approach for Evaluating Test Suite Effectiveness.
IEEE Trans. Software Eng., 2022

MULA: A Just-In-Time Multi-labeling System for Issue Reports.
IEEE Trans. Reliab., 2022

Quantifying the interpretation overhead of Python.
Sci. Comput. Program., 2022

Classifying crowdsourced mobile test reports with image features: An empirical study.
J. Syst. Softw., 2022

How higher order mutant testing performs for deep learning models: A fine-grained evaluation of test effectiveness and efficiency improved from second-order mutant-classification tuples.
Inf. Softw. Technol., 2022

Aligned metric representation based balanced multiset ensemble learning for heterogeneous defect prediction.
Inf. Softw. Technol., 2022

An Empirical Study on the Impact of Python Dynamic Typing on the Project Maintenance.
Int. J. Softw. Eng. Knowl. Eng., 2022

Mining Python fix patterns via analyzing fine-grained source code changes.
Empir. Softw. Eng., 2022

Context-Aware Program Simplification to Improve Information Retrieval-Based Bug Localization.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

QATest: A Uniform Fuzzing Framework for Question Answering Systems.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Training Data Debugging for the Fairness of Machine Learning Software.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Adaptive Test Selection for Deep Neural Networks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Smart Contract Development: Challenges and Opportunities.
IEEE Trans. Software Eng., 2021

Boundary sampling to boost mutation testing for deep learning models.
Inf. Softw. Technol., 2021

Prioritizing code documentation effort: Can we do it simpler but better?
Inf. Softw. Technol., 2021

Generating API tags for tutorial fragments from Stack Overflow.
Empir. Softw. Eng., 2021

Matching weak informative ontologies.
Sci. China Inf. Sci., 2021

Heterogeneous Defect Prediction through Joint Metric Selection and Matching.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Automated Testing for Machine Translation via Constituency Invariance.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

PyART: Python API Recommendation in Real-Time.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Essential Spectrum-based Fault Localization
Springer, ISBN: 978-981-33-6178-2, 2021

2020
How Practitioners Perceive Automated Bug Report Management Techniques.
IEEE Trans. Software Eng., 2020

METTLE: A METamorphic Testing Approach to Assessing and Validating Unsupervised Machine Learning Systems.
IEEE Trans. Reliab., 2020

How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems.
ACM Trans. Softw. Eng. Methodol., 2020

Examining the effects of developer familiarity on bug fixing.
J. Syst. Softw., 2020

Boosting crash-inducing change localization with rank-performance-based feature subset selection.
Empir. Softw. Eng., 2020

IEO: Intelligent Evolutionary Optimisation for Hyperparameter Tuning.
CoRR, 2020

Prioritizing documentation effort: Can we do better?
CoRR, 2020

Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Clone Detection on Large Scala Codebases.
Proceedings of the IEEE 14th International Workshop on Software Clones, 2020

An Empirical Study on Dynamic Typing Related Practices in Python Systems.
Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Impact analysis of cross-project bugs on software ecosystems.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
On the Multiple Sources and Privacy Preservation Issues for Heterogeneous Defect Prediction.
IEEE Trans. Software Eng., 2019

On the analysis of spectrum based fault localization using hitting sets.
J. Syst. Softw., 2019

How does code style inconsistency affect pull request integration? An exploratory study on 117 GitHub projects.
Empir. Softw. Eng., 2019

MAT: A simple yet strong baseline for identifying self-admitted technical debt.
CoRR, 2019

Predictive analysis for race detection in software-defined networks.
Sci. China Inf. Sci., 2019

Heterogeneous defect prediction with two-stage ensemble learning.
Autom. Softw. Eng., 2019

Automatic Self-Validation for Code Coverage Profilers.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Hunting for bugs in code coverage tools via randomized differential testing.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction.
ACM Trans. Softw. Eng. Methodol., 2018

Understanding metric-based detectable smells in Python software: A comparative study.
Inf. Softw. Technol., 2018

Gated Hierarchical LSTMs for Target-Based Sentiment Analysis.
Int. J. Softw. Eng. Knowl. Eng., 2018

A Validation and Quality Assessment Method with Metamorphic Relations for Unsupervised Machine Learning Software.
CoRR, 2018

A study on the changes of dynamic feature code when fixing bugs: towards the benefits and costs of Python dynamic features.
Sci. China Inf. Sci., 2018

Cost-sensitive transfer kernel canonical correlation analysis for heterogeneous defect prediction.
Autom. Softw. Eng., 2018

Connecting software metrics across versions to predict defects.
Proceedings of the 25th International Conference on Software Analysis, 2018

How Many Versions does a Bug Live in? An Empirical Study on Text Features for Bug Lifecycle Prediction.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

An Empirical Study of Dynamic Types for Python Projects.
Proceedings of the Software Analysis, Testing, and Evolution, 2018

Debugging with intelligence via probabilistic inference.
Proceedings of the 40th International Conference on Software Engineering, 2018

Speedoo: prioritizing performance optimization opportunities.
Proceedings of the 40th International Conference on Software Engineering, 2018

Predicting the Breakability of Blocking Bug Pairs.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
An Improved SDA Based Defect Prediction Framework for Both Within-Project and Cross-Project Class-Imbalance Problems.
IEEE Trans. Software Eng., 2017

Towards an understanding of change types in bug fixing code.
Inf. Softw. Technol., 2017

Software effort estimation based on open source projects: Case study of Github.
Inf. Softw. Technol., 2017

An empirical study on constraint optimization techniques for test generation.
Sci. China Inf. Sci., 2017

Understanding the value of considering client usage context in package cohesion for fault-proneness prediction.
Autom. Softw. Eng., 2017

An empirical investigation into the cost-effectiveness of test effort allocation strategies for finding faults.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Predicate Interpretation Analysis Based on Soot.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Fault Interference and Coupling Effect.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

An In-Depth Study of the Efficiency of Risk Evaluation Formulas for Multi-Fault Localization.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Cross-project and within-project semi-supervised software defect prediction problems study using a unified solution.
Proceedings of the 39th International Conference on Software Engineering, 2017

How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem.
Proceedings of the 39th International Conference on Software Engineering, 2017

Code Churn: A Neglected Metric in Effort-Aware Just-in-Time Defect Prediction.
Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017

Training Data Selection for Cross-Project Defection Prediction: Which Approach Is Better?
Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017

An Empirical Study on Downstream Workarounds for Cross-Project Bugs.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Verifying Synchronization for Atomicity Violation Fixing.
IEEE Trans. Software Eng., 2016

Measuring the Diversity of a Test Set With Distance Entropy.
IEEE Trans. Reliab., 2016

A machine learning based software process model recommendation method.
J. Syst. Softw., 2016

An empirical investigation into the effect of slice types on slice-based cohesion metrics.
Inf. Softw. Technol., 2016

An extensive empirical study on C++ concurrency constructs.
Inf. Softw. Technol., 2016

Empirical analysis of network measures for effort-aware fault-proneness prediction.
Inf. Softw. Technol., 2016

Empirical analysis of network measures for predicting high severity software faults.
Sci. China Inf. Sci., 2016

A Search Based Context-Aware Approach for Understanding and Localizing the Fault via Weighted Call Graph.
Proceedings of the Third International Conference on Trustworthy Systems and their Applications, 2016

What Are the Dominant Projects in the GitHub Python Ecosystem?
Proceedings of the Third International Conference on Trustworthy Systems and their Applications, 2016

Tracking Down Dynamic Feature Code Changes against Python Software Evolution.
Proceedings of the Third International Conference on Trustworthy Systems and their Applications, 2016

Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Python probabilistic type inference with natural language support.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Python predictive analysis for bug detection.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Cost-Sensitive Local Collaborative Representation for Software Defect Prediction.
Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

Dynamically Detecting DOM-Related Atomicity Violations in JavaScript with Asynchronous Call.
Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

Do We Have a Chance to Fix Bugs When Refactoring Code Smells?
Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

Detecting Code Smells in Python Programs.
Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

An empirical study on dependence clusters for effort-aware fault-proneness prediction.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Statically Detect Data Races for WS-BPEL Web Services by Constraint Solver.
Proceedings of the IEEE International Conference on Web Services, 2016

An Empirical Study on the Characteristics of Python Fine-Grained Source Code Change Types.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Revisit of automatic debugging via human focus-tracking analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

Missing data imputation based on low-rank recovery and semi-supervised regression for software effort estimation.
Proceedings of the 38th International Conference on Software Engineering, 2016

Message from the DSA Workshop Organizer.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Code Coverage-Based Failure Proximity without Test Oracles.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study.
IEEE Trans. Software Eng., 2015

An Efficient Identity-Based Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks.
IEEE Trans. Inf. Forensics Secur., 2015

A novel ensemble method for classifying imbalanced data.
Pattern Recognit., 2015

An empirical analysis of package-modularization metrics: Implications for software fault-proneness.
Inf. Softw. Technol., 2015

EFSM-Based Test Case Generation: Sequence, Data, and Oracle.
Int. J. Softw. Eng. Knowl. Eng., 2015

Insecurity of an Efficient Identity-Based Proxy Signature in the Standard Model.
Comput. J., 2015

Link prediction in social networks: the state-of-the-art.
Sci. China Inf. Sci., 2015

Heterogeneous cross-company defect prediction by unified metric representation and CCA-based transfer learning.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Test report prioritization to assist crowdsourced testing.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A metrics-based comparative study on object-oriented programming languages.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

How do developers use C++ libraries? An empirical study.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

An empirical study on the impact of Python dynamic features on change-proneness.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Is Learning-to-Rank Cost-Effective in Recommending Relevant Files for Bug Localization?
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Predicting Vulnerable Components via Text Mining or Software Metrics? An Effort-Aware Perspective.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Are Anti-patterns Coupled? An Empirical Study.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

An AST-Based Approach to Classifying Defects.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

An Empirical Study on C++ Concurrency Constructs.
Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

Super-resolution Person re-identification with semi-coupled low-rank discriminant dictionary learning.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

Generating Test Cases for Composite Web Services by Parsing XML Documents and Solving Constraints.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Message from the DSA 2015 Workshop Organizer.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

A Revisit of a Theoretical Analysis on Spectrum-Based Fault Localization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
An in-depth study of the potentially confounding effect of class size in fault prediction.
ACM Trans. Softw. Eng. Methodol., 2014

Source code size estimation approaches for object-oriented systems from UML class diagrams: A comparative study.
Inf. Softw. Technol., 2014

Identifying extract class refactoring opportunities for internetware.
Sci. China Inf. Sci., 2014

The Influence of Developer Quality on Software Fault-Proneness Prediction.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

An empirical study on the adoption of C++ templates: Library templates versus user defined templates.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Bottom-up Integration Testing with the Technique of Metamorphic Testing.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

A Unified Semi-supervised Framework for Author Disambiguation in Academic Social Network.
Proceedings of the Database and Expert Systems Applications, 2014

Dynamic Slicing of Python Programs.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Ontology Modeling for Mobile Software.
Proceedings of the 11th Web Information System and Application Conference, 2014

The Design of the SIMPLE Programming Language.
Proceedings of the 11th Web Information System and Application Conference, 2014

Hybrid Information Flow Analysis for Python Bytecode.
Proceedings of the 11th Web Information System and Application Conference, 2014

2013
A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization.
ACM Trans. Softw. Eng. Methodol., 2013

Selecting feature subset for high dimensional data via the propositional FOIL rules.
Pattern Recognit., 2013

A Feature Subset Selection Algorithm Automatic Recommendation Method.
J. Artif. Intell. Res., 2013

Metamorphic slice: An application in spectrum-based fault localization.
Inf. Softw. Technol., 2013

Web Phishing Detection Based on Page Spatial Layout Similarity.
Informatica (Slovenia), 2013

Finding shrink critical section refactoring opportunities for the evolution of concurrent code in trustworthy software.
Sci. China Inf. Sci., 2013

A fuzzy extension for SHOIQ based on comparisons between degrees of membership.
Sci. China Inf. Sci., 2013

Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Static Slicing for Python First-Class Objects.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

A Method of Optimizing Django Based on Greedy Strategy.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

2012
The ability of object-oriented metrics to predict change-proneness: a meta-analysis.
Empir. Softw. Eng., 2012

An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems.
Sci. China Inf. Sci., 2012

Comparing logic coverage criteria on test case prioritization.
Sci. China Inf. Sci., 2012

A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Fault class prioritization in Boolean expressions.
Proceedings of the ACM Symposium on Applied Computing, 2012

Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

A Program Transformation Framework for Multicore Software Reengineering.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Automated EFSM-based test case generation with scatter search.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011
A revisit of fault class hierarchies in general boolean specifications.
ACM Trans. Softw. Eng. Methodol., 2011

Testing and validating machine learning classifiers by metamorphic testing.
J. Syst. Softw., 2011

Contribution-based call stack abstraction for call string based pointer analysis.
Inf. Softw. Technol., 2011

Cost-Cognizant Combinatorial Test Case Prioritization.
Int. J. Softw. Eng. Knowl. Eng., 2011

Using Program Slicing to Improve the Efficiency and Effectiveness of Cluster Test Selection.
Int. J. Softw. Eng. Knowl. Eng., 2011

Supporting context - Aware service evolution with a process management requirements model.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Harmonic functions based semi-supervised learning for web spam detection.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An empirical study on the effectiveness of time-aware test case prioritization techniques.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Tagging web product titles based on hidden Markov model.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory.
Proceedings of the 11th International Conference on Quality Software, 2011

Matching Large Ontologies Based on Reduction Anchors.
Proceedings of the IJCAI 2011, 2011

Extracting Academic Information from Conference Web Pages.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Using semi-supervised clustering to improve regression test selection techniques.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Web Service Discovery Based on User Requirements.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Mutation Selection: Some Could be Better than All.
Proceedings of the EAST 2011, 2011

2010
On the ability of complexity metrics to predict fault-prone classes in object-oriented systems.
J. Syst. Softw., 2010

Test Case Prioritization for Web Service Regression Testing.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Cost-Effective Combinatorial Test Case Prioritization for Varying Combination Weights.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

An Improved Regression Test Selection Technique by Clustering Execution Profiles.
Proceedings of the 10th International Conference on Quality Software, 2010

Isolating Suspiciousness from Spectrum-Based Fault Localization Techniques.
Proceedings of the 10th International Conference on Quality Software, 2010

Adaptive Interaction Fault Location Based on Combinatorial Testing.
Proceedings of the 10th International Conference on Quality Software, 2010

2009
Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness.
IEEE Trans. Software Eng., 2009

Lily: Ontology Alignment Results for OAEI 2009.
Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, 2009

A Novel Method of Mutation Clustering Based on Domain Analysis.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Improving Side-Effect Analysis with Lazy Access Path Resolving.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

Application of Metamorphic Testing to Supervised Classifiers.
Proceedings of the Ninth International Conference on Quality Software, 2009

A New Mutation Analysis Method for Testing Java Exception Handling.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

A Constraint Based Bug Checking Approach for Python.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

An Effective Similarity Propagation Method for Matching Ontologies without Sufficient or Regular Linguistic Information.
Proceedings of the Semantic Web, Fourth Asian Conference, 2009

Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Programs.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
Program slicing under UML scenario models.
ACM SIGPLAN Notices, 2008

An XML query rewriting mechanism with multiple ontologies integration based on complex semantic mapping.
Inf. Fusion, 2008

Web Page's Blocks Based Topical Crawler.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Lily: Ontology Alignment Results for OAEI 2008.
Proceedings of the 3rd International Workshop on Ontology Matching (OM-2008) Collocated with the 7th International Semantic Web Conference (ISWC-2008), 2008

A Dynamic Adjusting Method for Test Case Prioritization.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A Degraded ILP Approach for Test Suite Reduction.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Scenario oriented program slicing.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A novel approach for test suite reduction based on requirement relation contraction.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A detectability analysis of fault classes for Boolean specifications.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite.
Proceedings of the Eighth International Conference on Quality Software, 2008

A Markov Decision Approach to Optimize Testing Profile in Software Testing.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost.
Proceedings of the Fourth International Conference on Natural Computation, 2008

An Extended MM-Path Approach to Component-Based Web Application Testing.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Fast algorithm for 4-qubit reversible logic circuits synthesis.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007
TCP Performance Dynamics and Link-Layer Adaptation Based Optimization Methods for Wireless Networks.
IEEE Trans. Wirel. Commun., 2007

Formal Verification for C Program.
Informatica, 2007

Generating combinatorial test suite for interaction relationship.
Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

LILY: the Results for the Ontology Alignment Contest OAEI 2007.
Proceedings of the 2nd International Workshop on Ontology Matching (OM-2007) Collocated with the 6th International Semantic Web Conference (ISWC-2007) and the 2nd Asian Semantic Web Conference (ASWC-2007), 2007

CLDA: Feature Selection for Text Categorization Based on Constrained LDA.
Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 2007

Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes.
Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 2007

An Incremental Approach for Attribute Reduction in Concept Lattice.
Proceedings of the Rough Sets and Knowledge Technology, Second International Conference, 2007

Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case Costs.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Interstatement must aliases for data dependence analysis of heap locations.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Verifying Programs Using Abstraction and Theorem Proving.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

Thread-Sensitive Pointer Analysis for Inter-Thread Dataflow Detection.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

Implication-Based Approximating Bounded Model Checking.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Applying Agent into Intelligent Web Application Testing.
Proceedings of the 2007 International Conference on Cyberworlds, 2007

Test Case Prioritization for Black Box Testing.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Comparing Fault-based Testing Strategies of General Boolean Specifications.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
An approach to analyzing recursive programs with exception handling constructs.
ACM SIGPLAN Notices, 2006

A family of Extended Fuzzy Description Logics.
Int. J. Bus. Intell. Data Min., 2006

Compositional Abstraction for Concurrent Programs.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

A New Heuristic for Test Suite Generation for Pair-wise Testing.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Generating Optimal Test Set for Neighbor Factors Combinatorial Testing.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

A Distributed and Fuzzy Extension of Description Logics.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

A Fuzzy Extension of Description Logic ALC with Comparison Expressions.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

XML Based Semantic Query Mechanism on Grid.
Proceedings of the Frontiers of High Performance Computing and Networking, 2006

Reasoning Technique for Extended Fuzzy ALCQ.
Proceedings of the Computational Science and Its Applications, 2006

Secure OWL Query.
Proceedings of the Computational Science, 2006

Modular Monadic Slicing in the Presence of Pointers.
Proceedings of the Computational Science, 2006

Reasoning with Fuzzy Ontologies.
Proceedings of the 2nd International Workshop on Contexts and Ontologies: Theory, 2006

Discrete Tableau Algorithms for <i>FSHI</i>.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Reasoning for Fuzzy Description Logic with Comparison Expressions.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Mapping Ontology Relations: An Approach Based on Best Approximations.
Proceedings of the Frontiers of WWW Research and Development, 2006

2005
Testing web applications focusing on their specialties.
ACM SIGSOFT Softw. Eng. Notes, 2005

A brief survey of program slicing.
ACM SIGSOFT Softw. Eng. Notes, 2005

An efficient and reliable object-oriented exception handling mechanism.
ACM SIGPLAN Notices, 2005

An improved accuracy measure for rough sets.
J. Comput. Syst. Sci., 2005

DMC: a more precise cohesion measure for classes.
Inf. Softw. Technol., 2005

Web documents clustering with interest links.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Automatic Test Generation for N-Way Combinatorial Testing.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

An Approach to Transforming Parallel Function Specification into Java Program Framework.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

An Aspect Transformation Approach with Refactoring.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Measuring structural complexity for class diagrams: an information theory approach.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Two Reasoning Methods for Extended Fuzzy ALCH.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

A Fuzzy Extension of Description Logic ALCH.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Mapping Fuzzy Concepts Between Fuzzy Ontologies.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

Extended Fuzzy Description Logic ALCN.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

A Framework of Checking Subsumption Relations Between Composite Concepts in Different Ontologies.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

User's Rough Set Based Fuzzy Interest Model in Mining WWW Cache.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Testing and Fault Diagnosis for Web Application Compatibility Based on Combinatorial Method.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Manage Distributed Ontologies on the Semantic Web.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

An Approach to Decomposing Assertions into Java Codes.
Proceedings of The 2005 International Conference on Information and Knowledge Engineering, 2005

Logic-based Inference Detection in Querying XML Document.
Proceedings of The 2005 International Conference on Information and Knowledge Engineering, 2005

Reasoning Technique for Extended Fuzzy Description Logics.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Testing Web Applications Intelligently Based on Agent.
Proceedings of the ICEIS 2005, 2005

A Framework for Managing Multiple Ontologies: The Function-Oriented Perspective.
Proceedings of the ICEIS 2005, 2005

A Slice Monad Transformer and Its Applications in Program Slicing.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Software Debugging Method Based on Pairwise Testing.
Proceedings of the Computational Science, 2005

Extended Fuzzy ALCN and Its Tableau Algorithm.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Model Checking for Timed Statecharts.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Approximations of Concept Based on Multielement Bounds.
Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

A Document Classification Approach By GA Feature Extraction Based Corner Classification Neural Network.
Proceedings of the 4th International Conference on Cyberworlds (CW 2005), 2005

Research on the Analysis and Measurement for Testing Results of Web Applications.
Proceedings of the 4th International Conference on Cyberworlds (CW 2005), 2005

Approximate Information Retrieval for Heterogeneity Ontologies.
Proceedings of the 4th International Conference on Cyberworlds (CW 2005), 2005

Configuration Strategies for Evolutionary Testing.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Family of Extended Fuzzy Description Logics.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Formal Method for Program Slicing.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

A Dynamic Optimization Strategy for Evolutionary Testing.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Refined Approximation of Concepts in Ontology.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004
A comparative study of graph theory-based class cohesion measures.
ACM SIGSOFT Softw. Eng. Notes, 2004

A survey of semantic description frameworks for programming languages.
ACM SIGPLAN Notices, 2004

A compile-time optimization framework for Ada rendezvous.
ACM SIGPLAN Notices, 2004

Process algebra model of Ada protected objects.
ACM SIGPLAN Notices, 2004

Measuring Class Cohesion Based on Dependence Analysis.
J. Comput. Sci. Technol., 2004

Retrospect and Prospect of Formal Methods Education in China.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Theory and Semi-automatic Generation of Bridge Ontology in Multi-ontologies Environment.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Extracting Sub-ontology from Multiple Ontologies.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Equivalent Individuals on the Semantic Web.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

An Object-Extracting Approach Based on Non-negative Matrix Factorization.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Non-negative Matrix Factorization for Filtering Chinese and Oriental Language Document.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'04, 2004

Local Nonnegative Matrix Factorization for Mining Typical User Session Profile.
Proceedings of the Web Engineering - 4th International Conference, 2004

Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

A Structural Complexity Measure for UML Class Diagrams.
Proceedings of the Computational Science, 2004

Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications.
Proceedings of the Computational Science, 2004

Non-negative Matrix Factorization for Filtering Chinese Document.
Proceedings of the Computational Science, 2004

Query Between Heterogeneous Ontology-Based Information Sources Using Association Matrix.
Proceedings of the Digital Libraries: International Collaboration and Cross-Fertilization, 2004

Modular monadic slicing of concurrent programs.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

The compositional semantics of timed statecharts.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

An approach to analyzing exception propagation.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

A Complexity Measure for Ontology Based on UML.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

Measuring Aspect Cohesion.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

A Framework for Web Applications Testing.
Proceedings of the 3rd International Conference on Cyberworlds (CW 2004), 2004

Bridge Ontology and Its Role in Semantic Annotation.
Proceedings of the 3rd International Conference on Cyberworlds (CW 2004), 2004

Slicing Web Application Based on Hyper Graph.
Proceedings of the 3rd International Conference on Cyberworlds (CW 2004), 2004

Modular Monadic Program Slicing.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Agentification for Web Services.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

A Framework of Extracting Sub-ontology.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

Generating Different Semantic Spaces for Document Classification.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003
More comments on 'A cohesion measure for object-oriented classes' by Heung-Seok Chae, Yong-Rae Kwon and Doo-Hwan Bae.
Softw. Pract. Exp., 2003

Matrix Dimensionality Reduction for Mining Web Logs.
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Measuring cohesion of packages in Ada95.
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Test Plan Design for Software Configuration Testing.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Partial Slicing for Large Programs.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Applying combinatorial method to test browser compatibility.
Proceedings of the Fifth International Symposium on Multimedia Software Engineering, 2003

A constrained non-negative matrix factorization in information retrieva.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

A prediction method of fuzzy association rules.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

ACP model of Java multithreading.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Test Coverage Analysis Based on Program Slicing.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Classification Method for Interval Valued Relational Database.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

Non-Negative Matrix for Mining Typical user Profiles Factorization.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

A Browser Compatibility Testing Method Based on Combinatorial Testing.
Proceedings of the Web Engineering, International Conference, 2003

Mining Association Rules with Linguistic Terms.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Applying Agent into Web Testing and Evolution.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

CSCW in Design on the Semantic Web.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Website Evolution Based on Statistic Data.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Parallel Algorithm for Mining Fuzzy Association Rules.
Proceedings of the 2nd International Conference on Cyberworlds (CW 2003), 2003

Regression Testing for Web Applications Based on Slicing.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Bridging Legacy Systems to Model Driven Architecture.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

DRC: A Dependence Relationships Based Cohesion Measure for Classes.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002
Change impact analysis to support architectural evolution.
J. Softw. Maintenance Res. Pract., 2002

An overview of methods for dependence analysis of concurrent programs.
ACM SIGPLAN Notices, 2002

Concurrent Ada dead statements detection.
Inf. Softw. Technol., 2002

Dynamic Slicing Object-Oriented Programs for Debugging.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

Mining Users' Two-Dimension Interests from Cache.
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

ICBMC: An Improved Cohesion Measure for Classes.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra.
Proceedings of the Formal Methods and Software Engineering, 2002

Result Integration in a Meta Web Search Engine.
Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002

Parallel Genetic Algorithms with Schema Migration.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Software Maintainability Improvement: Integrating Standards and Models.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Static Dependency Analysis for Concurrent Ada 95 Programs.
Proceedings of the Reliable Software Technologies, 2002

2001
Comments on A cohesion measure for object-oriented classes by Heung Seok Chae, Yong Rae Kwon and Doo Hwan Bae.
Softw. Pract. Exp., 2001

Dependence Analysis for Recursive Java Programs.
ACM SIGPLAN Notices, 2001

Slicing Concurrent Java Programs.
ACM SIGPLAN Notices, 2001

Slicing Object-Oriented Java Programs.
ACM SIGPLAN Notices, 2001

Extracting Objects from Ada83 Programs: A Case Study.
J. Comput. Sci. Technol., 2001

Development of a Self-Adaptive Web Search Engine.
Proceedings of the 3rd International Workshop on Web Site Evolution (WSE 2001), 2001

Detecting concurrently executed pairs of statements using an adapted MHP algorithm.
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

Detecting Dead Statements for Concurrent Programs.
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

A Rough Set Based Self-Adaptive Web Search Engine.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Slicing Tagged Objects in Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Tagged Semaphores.
ACM SIGOPS Oper. Syst. Rev., 2000

Data Mining Algorithms for Web Pre-Fetching.
Proceedings of the WISE 2000, 2000

Application of Data Mining in Web Pre-Fetching.
Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Application of Genetic Algorithm in Search Engine.
Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

ConC++: A Concurrent C++.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

An Approach to Analyzing Dependency of Concurrent Programs.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
A Comparison of Real/time Object-Oriented Modeling Methods ROOM and OCTOPUS.
ACM SIGPLAN Notices, 1999

An Ada-based Object-Oriented Modeling Language.
ACM SIGPLAN Notices, 1999

Extracting Objects of Ada Programs Using Module Features.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998
Comments On Several Syntax Rules in Ada95.
ACM SIGPLAN Notices, 1998

Transforming Ada Serving Tasks into Protected Objects.
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

1993
PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications.
ACM SIGPLAN Notices, 1993

CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.
ACM SIGPLAN Notices, 1993

On Subprograms With A Variable Number Of Parameters Of Varying Types.
ACM SIGPLAN Notices, 1993


  Loading...