yusuke1997/dblp-id-title huggingface dataset:
Applying stack simulation for branch target buffers
EVEN: A software environment for Estelle specification verification
Fair anonymous rewarding based on electronic cash
State of the art and open issues in process-centered software engineering environments
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
Mahtab: Phase-wise acceleration of regression testing for C
O/A matrix and a technique for methodology engineering
Performance evaluation of bag of gangs scheduling in a heterogeneous distributed system
Tool support for the rapid composition, analysis and implementation of reactive services
10 years of software architecture knowledge management: Practice and future
Clustered affinity scheduling on large-scale NUMA multiprocessors
Formal analysis and verification of the PSTM architecture using CSP
Software reliability prediction by soft computing techniques
On dynamically updating a computer program: From concept to prototype
D-P2P-Sim+: A novel distributed framework for P2P protocols performance testing
Incentive mechanism for mobile crowd sensing with Assumed Bid Cost Reverse Auction
Prioritizing software development productivity factors using the analytic hierarchy process
On the usage of simulators to detect inefficiency of parallel programs caused by "bad" schedulings: The Simparc approach
J2EE support for wireless services
Integrating non-parametric models with linear components for producing software cost estimations
Change impact analysis and changeability assessment for a change proposal: An empirical study ☆☆
Transformation-based model checking temporal trust in multi-agent systems
Syntax-preserving program slicing for C-based software product lines
Industry's role in data and software curation in the cloud
Role engineering: From design to evolution of security schemes
Examining the reuse potentials of IoT application frameworks
Taking advantages of a disadvantage: Digital forensics and steganography using document metadata
An integrated tool set for verifying CafeOBJ specifications
Metamodel-driven definition of a visual modeling language for specifying interactive groupware applications: An empirical study
STRAPS - a software transport system for low-level software
Optimization of adaptation plans for a service-oriented architecture with cost, reliability, availability and performance tradeoff
The impact of accounting for special methods in the measurement of object-oriented class cohesion on refactoring and fault prediction activities
Model transformation for analyzing dependability of AADL model by using HiP-HOPS
An impact factor model of Intranet adoption: an exploratory and empirical research
A process to identify relevant substitutes for healing failed WS-* orchestrations
Software architecture review by association
Mining domain knowledge from app descriptions
LLMs and Stack Overflow discussions: Reliability, impact, and challenges
A survey of software testing practices in Canada
Detecting violations of access control and information flow policies in data flow diagrams
Can generative AI detect and fix real-world cryptographic misuses?
Soft competency requirements in requirements engineering, software design, implementation, and testing
Using program dependence graphs for information flow control
Usability inspection in contract-based systems development - A contextual assessment
Domain-Specific Modeling Languages to improve framework instantiation
A systematic mapping study addressing the reliability of mobile applications: The need to move beyond testing reliability
On the prediction of computer implementation faults via static error prediction models
Prototyping experiences with classical IP and ARP over signaled ATM connections
Predicting software defects with causality tests
Quick and simple procedures to assess software reliability and facilitate project management
What is discussed about Flutter on Stack Overflow (SO) question-and-answer (Q&A) website: An empirical study
Investigating security threats in architectural context: Experimental evaluations of misuse case maps
Diagrams or structural lists in software project retrospectives - An experimental comparison
H. Zhuge, The Web Resource Space Model , Springer (2007)
Software process simulation modeling: Why? What? How?
Modelling large-scale information systems using ADLs - An industrial experience report
Introduction to the special issue on middleware for mobile data management
Data stream classification using random feature functions and novel method combinations
A wrapping approach for migrating legacy system interactive functionalities to Service Oriented Architectures
An energy efficient and load balanced distributed routing scheme for wireless sensor networks with holes
How are websites used during development and what are the implications for the coding process?
Volume, distance and productivity
BXtendDSL: A layered framework for bidirectional model transformations combining a declarative and an imperative language
An open and safe nested transaction model: concurrency and recovery
Mitigating starvation of Linux CPU-bound processes in the presence of network I/O
A model-driven approach for constructing ambient assisted-living multi-agent systems customized for Parkinson patients
Regression test case prioritization by code combinations coverage
A page-coherent, causally consistent protocol for distributed shared memory
Legacy systems to cloud migration: A review from the architectural perspective
A checklist of quality concerns for architecting ML-intensive systems
Task allocation for maximizing reliability of distributed computing systems using honeybee mating optimization
An efficient interprocedural dynamic slicing method
Optimal task allocation in distributed systems by graph matching and state space search
Vulnerability detection techniques for smart contracts: A systematic literature review
An encoding scheme based on fractional number for querying and updating XML data
Response to "Handling Regression Subsets in Software Modeling" by Ronald Gulezian
A stochastic algorithm for scheduling bag-of-tasks applications on hybrid clouds under task duration variations
Editor's Corner: Theory versus practice - revisited
A system for managing remote procedure call transactions
Exploring alternatives for transition verification
Cyber-physical modelling in Modelica with model-reduction techniques
Graph-based reference table construction to facilitate entity matching
Catalog and detection techniques of microservice anti-patterns and bad smells: A tertiary study
Automatic testing of runtime enforcers with Test4Enforcers
Software defect prediction based on enhanced metaheuristic feature selection optimization and a hybrid deep neural network
A comparison of time domains for software reliability models
LoopFix: an approach to automatic repair of buggy loops
4GLs and CASE: What's the payoff?
Two controlled experiments concerning the comparison of pair programming to peer review
Practical concurrent software evaluation for certification
SAAD, a content based Web Spam Analyzer and Detector
An entity-relationship algebra and its semantic description capabilities
A comparative study of test code clones and production code clones
Case study of the evolution of routing algorithms in a network planning tool
A topological analysis of communication channels for knowledge sharing in contemporary GitHub projects
A cusum change-point detection algorithm for non-stationary sequences with application to data network surveillance
Process fragmentation, distribution and execution using an event-based interaction scheme
Security modelling and formal verification of survivability properties: Application to cyber-physical systems
Test coverage of impacted code elements for detecting refactoring faults: An exploratory study
Entropy metrics for software design evaluation
Communities of Web service registries: Construction and management
Measuring the comprehensibility of Z specifications
A design methodology for real-time systems to be implemented on multiprocessor machines
Work-domain knowledge in usability evaluation: Experiences with Cooperative Usability Testing
RRGcode: Deep hierarchical search-based code generation
Feature dependencies in automotive software systems: Extent, awareness, and refactoring
Web service discovery based on goal-oriented query expansion
How to securely outsource the inversion modulo a large composite number
An approach to derive time costs of sequential computations
Maturity, models, and goals: How to build a metrics plan
Grounded requirements engineering: An approach to use case driven requirements engineering
Automating the product derivation process of multi-agent systems product lines
A family of experiments to evaluate the understandability of TRiStar and i * for modeling teleo-reactive systems
A likelihood-free Bayesian derivation method for service variants
DPE/PAC: decentralized process engine with product access control
Practical hybrid confidentiality-based analytics framework with Intel SGX
A relational model for knowledge representation in expert systems
Deployed software component testing using dynamic validation agents
Semantic ranking of web pages based on formal concept analysis
Coupling measures and change ripples in C++ application software
Object-oriented software design utilizing Quality Function Deployment
A modified remote login authentication scheme based on geometric approach
CASE and software maintenance practices in Singapore
Posting file partitioning and parallel information retrieval
Feature analysis for architectural evaluation methods
Assessing dynamic models for high priority waste collection in smart cities
Peer impressions in open source organizations: A survey
Modeling concurrent programs with colored Petri nets
On the utility of historical project statistics for cost and schedule estimation: Results from a simulation-based case study
GTCharge: A game theoretical collaborative charging scheme for wireless rechargeable sensor networks
Towards a hybrid relational and XML benchmark for loosely-coupled distributed data sources
Thermal-throttling server: A thermal-aware real-time task scheduling framework for three-dimensional multicore chips
VIBE: Looking for Variability In amBiguous rEquirements
Input-based adaptive randomized test case prioritization: A local beam search approach
Alone or Together? Inter-organizational affiliations of open source communities
Project-specific code summarization with in-context learning
Automatically classifying software changes via discriminative topic model: Supporting multi-category and cross-project
Software engineering education: A study on conducting collaborative senior project development
Formal semantics for rule-based systems
A comparison of quality flaws and technical debt in model transformation specifications
Cost optimization approaches for scientific workflow scheduling in cloud and grid computing: A review, classifications, and open issues
Integrating knowledge flow mining and collaborative filtering to support document recommendation
Cloud migration process - A survey, evaluation framework, and open challenges
On evaluating commercial Cloud services: A systematic review
Development and use of a new task model for cyber-physical systems: A real-time scheduling perspective
Constrained locating arrays for combinatorial interaction testing
Improved schedulability analysis of the contention-free policy for real-time systems
CubeAgent: Efficient query-based video adversarial examples generation through deep reinforcement learning
Early evaluation of technical debt impact on maintainability
Discrete prompt optimization using genetic algorithm for secure Python code generation
A reliability optimization method for RAID-structured storage systems based on active data migration
Architecting for usability: a survey
Locality, a memory hierarchy, and program restructuring in a dataflow environment
eXtreme Programming--helpful or harmful in educating undergraduates?
How enterprise architecture improves the quality of IT investment decisions
An empirical study of software architecture resilience evaluation methods
Automated design of multi-layered web information systems
An empirical study into class testability
MAS4DT: A novel proposal for developing Digital Twins following a Multi-Agent system approach
Designing a high-performance database engine for the 'Db4XML' native XML database system
A family of experiments to validate metrics for software process models
Human agency and responsible computing: Implications for computer system design
A multi-objective evolutionary approach towards automated online controlled experiments
A novel dynamic resource adjustment architecture for virtual tenant networks in SDN
Centralization potential of automotive E/E architectures
A good-bye of sorts
Identification multi-level frequent usage patterns from APIs
Using Belbin's leadership role to improve team effectiveness: An empirical investigation
Introduction to the JSS special issue of Web 2.0 engineering: New practices and emerging Challenges
Measuring effectiveness of HCI integration in software development processes
A public verifiable copy protection technique for still images
Dynamically reconfigurable hardware-software architecture for partitioning networking functions on the SoC platform
A systematic literature review of stakeholder identification methods in requirements elicitation
Study supports existence of software crisis; Management issues appear to be prime cause
User Interface Transition Diagrams for customer-developer communication improvement in software development projects
Context-awareness in the software domain - A semantic web enabled modeling approach
Object-oriented case-supported development of information systems
Automated software design using ant colony optimization with semantic network support
Connecting systems engineering and domain expertise through a toolchain: A simulation-integrated MBSE approach
A study of page replacement performance in garbage collection heap
Multi-method research: An empirical investigation of object-oriented technology
A symbolic algorithm for the case-split rule in solving word constraints with extensions
TALISMAN MDE: Mixing MDE principles
Towards supporting the software architecture life cycle
A systematic mapping study on higher order mutation testing
Translation from layout-based to visual android test scripts: An empirical evaluation
A computer assisted method for leukocyte nucleus segmentation and recognition in blood smear images
Not all bugs are the same: Understanding, characterizing, and classifying bug types
Performance evaluation of moment-based watermarking methods: A review
A model of domain-polymorph component for heterogeneous system design
Huffman-code strategies to improve MFCVQ-based reversible data hiding for VQ indexes
Is it a case study? - A critical analysis and guidance
Measuring code efficiency optimization capabilities with ACEOB
Introduction to the special issue on the fifth minnowbrook workshop on software performance evaluation
SoftCost-R: User experiences and lessons learned at the age of one
Imbalanced metric learning for crashing fault residence prediction
Providing fair-share scheduling on multicore computing systems via progress balancing
On the neural network approach in software reliability modeling
Editor's corner: Object-orientation: Theory and practice
A composite-metric based path selection technique for the Tor anonymity network
Establishing and maintaining trust in software outsourcing relationships: An empirical investigation
Challenges and success factors for large-scale agile transformations: A systematic literature review
Developing reusable simulation core code for networking: The grid resource discovery example
Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study
Accelerated collection of sensor data by mobility-enabled topology ranks
White-box validation of quantitative product lines by statistical model checking and process mining
Effective pattern-driven concurrency bug detection for operating systems
Coordination implications of software architecture in a global software development project
Multi-layer bus minimization for SoC
Editor's corner Which do you think? Modern methods will lead to less software maintenance, or more?
QMM-VANET: An efficient clustering algorithm based on QoS and monitoring of malicious vehicles in vehicular ad hoc networks
Editor's corner theory + practice: A disturbing example
Bad news reporting on troubled IT projects: Reassessing the mediating role of responsibility in the basic whistleblowing model
Enhancing and measuring the predictive capabilities of testing-effort dependent software reliability models
Software rejuvenation via a multi-agent approach
An inference design for fault location in real-time control systems
An update to experimental models for validating computer technology
Experimental analysis of specification language diversity impact on NPP software diversity
Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering
Requirements engineering: A systematic mapping study in agile software development
A new multi-secret images sharing scheme using Largrange's interpolation
Pro-IDTV: A sociotechnical process model for designing IDTV applications
Architecture of distributed data base systems
Variable-strength combinatorial testing of exported activities based on misexposure prediction
A data mining correlated patterns-based periodic decentralized replication strategy for data grids
Supporting metasearch with XSL
SGT: Aging-related bug prediction via semantic feature learning based on graph-transformer
Satisfying temporal consistency constraints of real-time databases
Code semantic enrichment for deep code search
Implementing an evolutionary structural software model
A comparison of network and hierarchical data management in large programming projects
Benefits of supplementing use case narratives with activity diagrams - An exploratory study
Transfer learning for software vulnerability prediction using Transformer models
Knowledge representation using views in relational deductive data bases
State of the art of cyber-physical systems security: An automatic control perspective
A matching-based algorithm for page access sequencing in join processing
Proactive and reactive multi-dimensional histogram maintenance for selectivity estimation
Mobile applications in an aging society: Status and trends
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems
Dynamic adaptation of service compositions with variability models
Empirical evaluation of a privacy-focused threat modeling methodology
Into the ML-Universe: An improved classification and characterization of machine-learning projects
Exploring software reusability metrics with Q&A forum data
Expert system development and testing: A knowledge engineer's perspective
Adaptive application offloading using distributed abstract class graphs in mobile environments
An efficient spark-based adaptive windowing for entity matching
Automated formal-specification-to-code trace links recovery using multi-dimensional similarity measures
SmartTutor: An intelligent tutoring system in web-based adult education
An evolutionary structural model for software maintenance
Software product lines and features from the perspective of set theory with an application to feature location
Design pattern recovery through visual language parsing and source code analysis
The design and implementation of a dynamic binding feature for a high-level language
A survey of the use of crowdsourcing in software engineering
Client-side selection of replicated web services: An empirical assessment
Metrics for object-oriented software projects
Automatic deletion of obsolete information
Pinned demand paging based on the access frequency of video files in video servers
Broker-based SLA-aware composite service provisioning
Automated, highly-accurate, bug assignment using machine learning and tossing graphs
Information systems project management: an agency theory interpretation
What factors affect the UX in mobile apps? A systematic mapping study on the analysis of app store reviews
Or Regression Testing of Object-Oriented Programs
Analyzing clusters of class characteristics in OO applications
Software Engineering in Brazil: Retrospective and prospective views
Sharing multiple secrets in digital images
Modeling and automatic code generation for wireless sensor network applications using model-driven or business process approaches: A systematic mapping study
Exploring community structure of software Call Graph and its applications in class cohesion measurement
SCsVulSegLytix: Detecting and extracting vulnerable segments from smart contracts using weakly-supervised learning
How to write comments suitable for automatic software indexing
Coordination in co-located agile software development projects
Noisy data elimination using mutual k-nearest neighbor for classification mining
Explaining software fault predictions to spreadsheet users
Twenty-eight years of component-based software engineering
VLSI and software engineering: Guest editor's introduction
Handling timing constraints violations in soft real-time applications as exceptions
Antipatterns in software classification taxonomies
Using PVM to develop a distributed object-oriented language for heterogeneous processing
Empirical research methodologies and studies in Requirements Engineering: How far did we come?
The social smart grid: Dealing with constrained energy resources through social coordination
A robust DWT-based copyright verification scheme with Fuzzy ART
Systematic literature review of validation methods for AI systems
Increasing the willingness of novices to use computer application software
Debugging applications created by a Domain Specific Language: The IPAC case
Conflict detection and resolution for workflows constrained by resources and non-determined durations
Eye gaze and interaction contexts for change tasks - Observations and potential
An auction-based incentive mechanism for heterogeneous mobile clouds
SelfMotion: A declarative approach for adaptive service-oriented mobile applications
Mining for cost awareness in the infrastructure as code artifacts of cloud-based applications: An exploratory study
A systematic literature review of software quality cost research
Wayback Machine: A tool to capture the evolutionary behavior of the bug reports and their triage process in open-source software systems
A novel approach to collaborative testing in a crowdsourcing environment
AFChecker: Effective model checking for context-aware adaptive applications
Privacy protection by typing in ubiquitous computing systems
Building problem-solving environments with the Arches framework
Reproducibility of issues reported in stack overflow questions: Challenges, impact & estimation
Efficient graph pattern matching framework for network-based in-vehicle fault detection
From distributed algorithms to OCCAM programs by successive refinements
A model for the protocol design of back-end storage networks
3 + 1 Challenges for the future of universities
EUDability: A new construct at the intersection of End-User Development and Computational Thinking
A systematic review of fault tolerance techniques for smart city applications
Managing technical debt in a multidisciplinary data intensive software team: An observational case study
Multiuser processes and shared capability lists for shared workspace collaboration
Patterns of conflict among software components
Guest editors' corner
A database model of debugging
Monitoring self-adaptive applications within edge computing frameworks: A state-of-the-art review
Effective testing of Android apps using extended IFML models
CodeSpeak: Improving smart contract vulnerability detection via LLM-assisted code analysis
SWFC-ART: A cost-effective approach for Fixed-Size-Candidate-Set Adaptive Random Testing through small world graphs
Conceptual modeling of natural language functional requirements
Intentions to continue using agile methods: The case of the Greek banking sector