yusuke1997/dblp-id-title huggingface dataset:
Automated generation of test suites from formal specifications of real-time reactive systems
Test prioritization in continuous integration environments
Testing object-oriented programs: from formal specification to test scenario generation
Embedding role-based access control model in object-oriented systems to protect privacy
Black-box adversarial sample generation based on differential evolution
Energy-aware dynamical hosts and tasks assignment for cloud computing
Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing
Few-shot code translation via task-adapted prompt learning
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms
Artifact-based vs. human-perceived understandability and modifiability of refactored business processes: An experiment
SL-trees: An indexing structure for object-oriented data bases
Trust-based minimum cost opportunistic routing for Ad hoc networks
Incorrect results in software engineering experiments: How to improve research practices
Real-time perceptual watermarking architectures for video broadcasting
Development and benchmarking of multilingual code clone detector
A goal-oriented approach for representing and using design patterns
Performance models and dynamic characteristics analysis for HDFS write and read operations: A systematic view
An architectural approach to the correct and automatic assembly of evolving component-based systems
Tracing the execution of distributed programs
A taxonomy for programming languages with multisequential processes
Design and performance analysis of Transputer arrays
HANet: a framework toward ultimately reliable network services
Grindstone4Spam: An optimization toolkit for boosting e-mail classification
High-availability clusters: A taxonomy, survey, and future directions
Image watermarking method in multiwavelet domain based on support vector machines
A feature-driven crossover operator for multi-objective and evolutionary optimization of product line architectures
Priorities for the education and training of software engineers
Detection and restoration of tampered JPEG compressed images
Software development cost estimation using wavelet neural networks
Behavioral characterization: finding and using the influential factors in software process simulation models
Editor's corner: Structured research? (A partly tongue-in-cheek look)
Agile methods used by traditional logistics companies and logistics start-ups: a systematic literature review
Priority scheduling of requests to web portals
An assessment of systems and software engineering scholars and institutions (1993-1997)
Guest editorial: Ubiquitous computing
Towards collaborative storage scheduling using alternating direction method of multipliers for mobile edge cloud
Software modernization powered by dynamic language product lines
A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction
Rapid Continuous Software Engineering
Burr-type NHPP-based software reliability models and their applications with two type of fault count data
Preparing an R package for open-source contributions: An experience report on the World Wildlife Fund's Forest Foresight
An effective approach to estimating the parameters of software reliability growth models using a real-valued genetic algorithm
Sequence effects in the estimation of software development effort
Development of Java based RFID application programmable interface for heterogeneous RFID system
Actual vs. perceived effect of software engineering practices in the Italian industry
A hybrid and learning agent architecture for network intrusion detection
Dynamic deployment of context-aware access control policies for constrained security devices
State of the art of frameworks and middleware for facilitating mobile and ubiquitous learning development
Towards an ideal service QoS in fuzzy logic-based adaptation planning middleware
Ethical considerations of the software-dependent organization
A pattern-based prediction: An empirical approach to predict end-to-end network latency
Integration of system dynamics modelling with descriptive process modelling and goal-oriented measurement
Automatic software vulnerability assessment by extracting vulnerability elements
Interface design: An educational perspective
Enhanced healthcare personnel rostering solution using mobile technologies
Enhancing developer recommendation with supplementary information via mining historical commits
The Blit debugger
Recovering software product line architecture of a family of object-oriented product variants
DeepLink: Recovering issue-commit links based on deep learning
Evaluation techniques for improving the quality of very large software systems in a cost-effective way
A practical experience in workspace separation for developing multiple storefronts on customized commerce engines
Requirements specification for Ada software under DoD-STD-2167A
SETZ logistics models and system framework for manufacturing and exporting large engineering assets
Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms
Cloud computing security: The scientific challenge, and a survey of solutions
Robust and reliable reconfiguration of cloud applications
Dynamic adaptation of application aspects
A maturity model for the implementation of software process improvement: an empirical study
Online discovery of Heart Rate Variability patterns in mobile healthcare services
Usability-based caching of query results in OLAP systems
Similarity-based analyses on software applications: A systematic literature review
End-users' knowledge and perception about security of clinical mobile health apps: A case study with two Saudi Arabian mHealth providers
Understanding the perceived relevance of capability measures: A survey of Agile Software Development practitioners
AML: An accuracy metric model for effective evaluation of log parsing techniques
Not all requirements prioritization criteria are equal at all times: A quantitative analysis
JITGNN: A deep graph neural network framework for Just-In-Time bug prediction
Software effort models should be assessed via leave-one-out validation
A neural network approach for early detection of program modules having high risk in the maintenance phase
Evaluating performances of pair designing in industry
Using Grid services to parallelize IBM's Generic Log Adapter
A method to optimize the scope of a software product platform based on end-user features
Dynamic cloud service selection using an adaptive learning mechanism in multi-cloud computing
Grammar-based test suite construction using coverage-directed algorithms over LR-graphs
Measuring air quality in city areas by vehicular wireless sensor networks
Repetitive failure, feedback and the lost art of diagnosis
Understanding socially oriented roles and goals through motivational modelling
Prioritized static slicing and its application to fault localization
Producing reliable software: an experiment
UX-work related needs in software startups: Diagnosis and resolution
Adaptive thermal-aware task scheduling for multi-core systems
An architecture-driven software mobility framework
A critique of three metrics
A foreword to the special issue of the journal of systems and software on the Role of languages in programming (the Tenth Tunisian-French Seminar of Computer Science)
Object-oriented design patterns recovery
Error resilient locally adaptive data compression
Web API evolution patterns: A usage-driven approach
Phases, methods, and tools: A triad of system development
Intrusion detection for mobile devices using the knowledge-based, temporal abstraction method
Extending the range of bugs that automated program repair can handle
Enabling high-level application development for the Internet of Things
Requirements change: Fears dictate the must haves; desires the won't haves
Software fault prediction
Language definition-based compiler development
Task assignment in heterogeneous computing systems using an effective iterated greedy algorithm
Fast and simple decomposition techniques for the reliability analysis of interconnection networks
Avoiding semantic and temporal gaps in developing software intensive systems
Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation
Graph-based visualization of merge requests for code review
Towards a standardized cloud service description based on USDL
Identifying objects in legacy systems using design metrics
On some end-user programming constructs and their understandability
Differential fault analysis on Camellia
Software Systems Engineering programmes a capability approach
Towards semi-automated assignment of software change requests
An implementation of an external pager interface on BSD UNIX
BERT based severity prediction of bug reports for the maintenance of mobile applications
Expert system explanation in retrospect: A case study in the evolution of expert system explanation
A computer virus spreading model based on resource limitations and interaction costs
Using likely invariants for test data generation
Deriving business processes with service level agreements from early requirements
Hybrid approach for multilevel multi-class requirement classification: Impact of stop-word removal and data augmentation
Incremental parsing for software maintenance tools
Hiding communication overheads in dynamic load balancing for multicomputers
ElasticSFC: Auto-scaling techniques for elastic service function chaining in network functions virtualization-based clouds
An evaluation of multi-model self-managing control schemes for adaptive performance management of software systems
RGB color image encryption based on Choquet fuzzy integral
Hot spots profiling and dataflow analysis in custom dataflow computing SoftProcessors
Editor's corner the gold we've failed to mine
An exploratory study on exception handling bugs in Java programs
Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures
On the statistical properties of testing effectiveness measures
Editor's corner computer science Ph.D. production - more institutions, fewer degrees, more students (!)
On the performance of real-time multi-item request scheduling in data broadcast environments
A secure palm vein recognition system
An empirical study of developers' challenges in implementing Workflows as Code: A case study on Apache Airflow
Deadlock-free software architectures for COM/DCOM Applications
Analyzing defect inflow distribution and applying Bayesian inference method for software defect prediction in large software projects
Aspects of modelling requirements in very-large agile systems engineering
An improved DCT-based perturbation scheme for high capacity data hiding in H.264/AVC intra frames
Design of a processor for array-theoretic computation
An investigation of machine learning based prediction systems
A robust blind color image watermarking in quaternion Fourier transform domain
A new Prefetching-aware Data Replication to decrease access latency in cloud environment
Managing programming productivity
Can k-NN imputation improve the performance of C4.5 with small software project data sets? A comparative evaluation
A power efficiency routing and maintenance protocol in wireless multi-hop networks
Shape analysis for power signal cryptanalysis on secure components
Algorithms for automated live migration of virtual machines
Flexible and reversible conversion between extensible records and overloading constraints for ML
A practitioner survey on Requirements Technical Debt Quantification
Do we need high-order mutation in fault-based Boolean-specification testing?
Compositional real-time scheduling framework for periodic reward-based task model
Pandemic pedagogy: Evaluating remote education strategies during COVID-19
Software development for reliable software systems
Collaboration optimization in software process composition
Is cloud storage ready? Performance comparison of representative IP-based storage systems
Reversible data hiding of high payload using local edge sensing prediction
The role of Sprint planning and feedback in game development projects: Implications for game quality
Custom static analysis to enhance insight into the usage of in-house libraries
Reliability assessment and sensitivity analysis of software reliability growth modeling based on software module structure
An object-oriented inference engine for PROLOG
Custom-tailored clone detection for IEC 61131-3 programming languages
Petri Net Based Models for Specification and Analysis of Cryptographic Protocols
Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture
Towards a cognitive engineering of transactional services in IoT based systems
Level based batch scheduling strategy with idle slot reduction under DAG constraints for computational grid
Network-aware embedding of virtual machine clusters onto federated cloud infrastructure
Data-driven agile software cost estimation models for DHS and DoD
Quasi-static fault-tolerant scheduling schemes for energy-efficient hard real-time systems
Applying generative artificial intelligence for vulnerability fixing in a proprietary software ecosystem
Perception differences of software success: provider and user views of system metrics
Factors affecting Agile adoption: An industry research study of the mobile app sector in Saudi Arabia
Agile methods in embedded system development: Multiple-case study of three industrial cases
Emotimonitor: A Trello power-up to capture and monitor emotions of Agile teams
Architectural tactics for cyber-foraging: Results of a systematic literature review
A flexible framework for cooperative distributed software development
Scientific software development viewed as knowledge acquisition: Towards understanding the development of risk-averse scientific software
Design synthesis in VLSI and software engineering
Are computer hacker break-ins ethical?
A novel blockchain protocol for selecting microservices providers and auditing contracts
Stack overflow's hidden nuances: How does zip code define user contribution?
Policy-driven Data Sharing over Attribute-Based Encryption supporting Dual Membership
Open tracing tools: Overview and critical comparison
Corrigendum to "A model-driven approach for the development of native mobile applications focusing on the data layer" [Journal of Systems and Software volume 161 (March 2020)]
The role of the project manager in agile software development projects
How secondary school girls perceive Computational Thinking practices through collaborative programming with the micro: bit
Usability inspection: Novice crowd inspectors versus expert
Execution anomaly detection in large-scale systems through console log analysis
A systematic review of software architecture visualization techniques
Classifying crowdsourced mobile test reports with image features: An empirical study
Automatic, evolutionary test data generation for dynamic software testing
A novel image watermarking in redistributed invariant wavelet domain
Consistent query answers from virtually integrated XML data
Formal methods for verification and validation of partial specifications: A case study
Broadening the basis for ethical analysis
A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems
ATTEST: ATTributes-based Extendable STorage
Development and application of a white box approach to integration testing
Industry requirements for FLOSS governance tools to facilitate the use of open source software in commercial products
Technical controlling and software process improvement
A survey on the use of access permission-based specifications for program verification
Formally specifying an automated trade execution system
An empirical study of tactical vulnerabilities
Exploiting traceability uncertainty between software architectural models and extra-functional results
Analysing a process landscape by simulation
An efficient and secure protocol for sensor network time synchronization
Buffer management in real-time active database systems
Comparative analysis of design pattern implementation validity in LLM-based code refactoring
Identifying architectural technical debt, principal, and interest in microservices: A multiple-case study
Editor's corner
Database management systems: design considerations and attribute facilities
Exploring the benefits of the combination of a software architecture analysis and a usability evaluation of a mobile application
Evolutionary instance selection for text classification
Does code quality affect pull request acceptance? An empirical study
Semantic metrics for software testability
Automated defect identification via path analysis-based features with transfer learning
Characteristics of software engineers with optimistic predictions
An automated extract method refactoring approach to correct the long method code smell
A survey on clone refactoring and tracking
The work breakdown structure in software project management
HV 2 M: A novel approach to boost inter-VM network performance for Xen-based HVMs
"With a little help from new friends": Boosting information cascades in social networks based on link injection
Functional testing and design abstractions
A pattern-based object-linking mechanism for component-based software development environments
Evaluating refactorings for spreadsheet models
Incentive compatibility and systematic software reuse
Automated identification of security discussions in microservices systems: Industrial surveys and experiments
Performance criteria for relational databases in different normal forms
Serializing java objects in plain code
A conceptual foundation for component-based software deployment
Architectural patterns for the design of federated learning systems
Integration in software intensive systems
A mutual embedded self-attention network model for code search
Lightweight multigranularity locking for transaction management in XML database systems
Guest editor's corner special issue on software quality in knowledge-based systems
Techniques for eliciting IoT requirements: Sensorina Map and Mind IoT
Threshold signature scheme using self-certified public keys
Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications
Information theory-based software metrics and obfuscation
Enabling correct design and formal analysis of Ambient Assisted Living systems
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS
Dynamic Web Service discovery architecture based on a novel peer based overlay network
An efficient CRT-RSA algorithm secure against power and fault attacks
Automatic generation of assumptions for modular verification of software specifications
Modeling and analysis of reliability of multi-release open source software incorporating both fault detection and correction processes
Traps in Java
Developing an application-specific interactive system based on a spreadsheet package
Cost-effective test suite minimization in product lines using search techniques
FIN: Boosting binary code embedding by normalizing function inlinings
Intelligent reversible watermarking in integer wavelet domain for medical images
Practitioner and SoftClass: A comparative study of two software reuse research projects
Defect prevention in software processes: An action-based approach
Special issue on Emerging Topics on Software Debugging
Is software work routinized? Some empirical observations from Indian software industry
PLEASE: Executable specifications for incremental software development
Utilizing venation features for efficient leaf image retrieval
An ERP-client benefit-oriented maintenance taxonomy
Software engineering team project courses with industrial customers: Students' insights on challenges and lessons learned
Static correction of Maude programs with assertions
Snooping fault-tolerant distributed shared memories
Revisiting the impact of common libraries for android-related investigations
Characterizing the contribution of quality requirements to software sustainability
An object-oriented approach to distributed data management
A UML model-based approach to detect infeasible paths
OneSpace: Detecting cross-language clones by learning a common embedding space
Novel image copy detection with rotating tolerance
The effects of a shared free form rationale space in collaborative learning activities
On understanding laws, evolution, and conservation in the large-program life cycle
Organizational structures supported by agent-oriented methodologies
Supporting concept location through identifier parsing and ontology extraction
The effect of compression on performance in a demand paging operating system
Object-oriented programming: The promise and the reality
An empirically-developed framework for Agile transition and adoption: A Grounded Theory approach
A Modeling approach based on Coloured Petri Nets for Quantum algorithm
DongTing: A large-scale dataset for anomaly detection of the Linux kernel
Active and passive techniques for group size estimation in large-scale and dynamic distributed systems
Cépage: Toward computer-aided design of software
Knowledge-based test planning: Framework for a knowledge-based system to prepare a system test plan from system requirements
Adaptable architecture generation for embedded systems
Engineering patterns for Trust and Safety on social media platforms: A case study of Mastodon and Diaspora
OPERA: An open-source extensible router architecture for adding new network services and protocols
Yet shorter warmup by combining no-state-loss and MRRL for sampled LRU cache simulation
A Cross-Domain Systematic Mapping Study on Software Engineering for Digital Twins
Integrating pair programming as a work practice
Design and implementation of a query processor for a trusted distributed data base management system
An empirical analysis of software effort estimate alterations
Using contextual information to predict co-changes
Dynamic navigation in multiple view software specifications and designs
Detecting and restoring the tampered images based on iteration-free fractal compression
Applying machine learning to software fault-proneness prediction
On scaling dynamic programming problems with a multithreaded tabling Prolog system
Which builds are really safe to skip? Maximizing failure observation for build selection in continuous integration
A parallelization approach for resource-restricted embedded heterogeneous MPSoCs inspired by OpenMP
Smart manufacturing: MLOps-enabled event-driven architecture for enhanced control in steel production
Improving security of q-SDH based digital signatures
An empirical study on low-code programming using traditional vs large language model support
Data analysis for software metrics
Using expression parsing and algebraic operations to generate test sequences
Binding of C++ and JavaScript through automated glue code generation
Feasibility analysis of hard real-time periodic tasks
Supporting parallel computing on a distributed object architecture
Low bit-rate information hiding method based on search-order-coding technique
Why do women pursue a Ph.D. in Computer Science?
Automatic generation of execution tools in a GANDALF environment
A method for defining IEEE Std 1471 viewpoints
A zero-watermark scheme with geometrical invariants using SVM and PSO against geometrical attacks for image protection
Automated generation of (F)LTL oracles for testing and debugging
A security policy language for wireless sensor networks
Parallel and distributed real-time systems
Challenge and solutions of NAT traversal for ubiquitous and pervasive applications on the Internet
A security pattern detection framework for building more secure software
Fault-tolerant scheduling and data placement for scientific workflow processing in geo-distributed clouds
Determining factors that affect long-term evolution in scientific application software
Editor's corner Discipline is a dirty word: A story about the software life cycle
Percolation-based routing in the Internet
Improving the schedulability of soft real-time open dynamic systems: The inheritor is actually a debtor
On Haskell and energy efficiency