ACM Transactions on Software Engineering and Methodology (Record no. 25747)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02924nam a2200193Ia 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250730145859.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250730s9999 xx 000 0 und d |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| International Standard Serial Number | 1049-331X |
| 245 #0 - TITLE STATEMENT | |
| Title | ACM Transactions on Software Engineering and Methodology |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New York : |
| Name of publisher, distributor, etc. | Association for Computing Machinery, |
| Date of publication, distribution, etc. | 2022 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | [various pagings] : |
| Other physical details | illustrations ; |
| Dimensions | 26 cm. |
| 490 ## - SERIES STATEMENT | |
| Volume/sequential designation | ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, 2022 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | L2S: A Framework for Synthesizing the Most Probable Program under a Specification -- Context- and Fairness-Aware In-Process Crowdworker Recommendation -- ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps -- Verification of Distributed Systems via Sequential Emulation -- Opinion Mining for Software Development: A Systematic Literature Review -- Stateful Serverless Computing with Crucial -- Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality -- On the Faults Found in REST APIs by Automated Test Generation -- Using Personality Detection Tools for Software Engineering Research: How Far Can We Go? -- All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions -- Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow -- Industry-Academia Research Collaboration and Knowledge Co-creation: Patterns and Anti-patterns -- Continuous and Proactive Software Architecture Evaluation: An IoT Case -- NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks -- An Empirical Study of the Effectiveness of an Ensemble of Stand-alone Sentiment Detection Tools for Software Engineering Datasets -- Detecting and Augmenting Missing Key Aspects in Vulnerability Descriptions -- Towards Robustness of Deep Program Processing Models-Detection, Estimation, and Enhancement -- Context-Aware Code Change Embedding for Better Patch Correctness Assessment -- XCode: Towards Cross-Language Code Representation with Large-Scale Pre-Training -- An Empirical Study of the Impact of Hyperparameter Tuning and Model Optimization on the Performance Properties of Deep Neural Networks -- Time-travel Investigation: Toward Building a Scalable Attack Detection Framework on Ethereum -- Examining Penetration Tester Behavior in the Collegiate Penetration Testing Competition -- Predictive Models in Software Engineering: Challenges and Opportunities. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | [Article Title: L2S: A Framework for Synthesizing the Most Probable Program under a Specification/ Yingfei Xiong and Bo Wang, p. 34:1-34:45] Abstract: In many scenarios, we need to find the most likely program that meets a specification under a local con |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | INFORMATION TECHNOLOGY |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Serials |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Gen. Ed. - CCIT | LRC - Main | National University - Manila | Periodicals | Purchased - ACM | ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, 2022 | PER000000513 | 07/30/2025 | c.1 | 07/30/2025 | Serials |