BibTeX bibliography java2020.bib (original) (raw)
@Preamble{"\input bibnames.sty " # "\input path.sty " # "\ifx \undefined \booktitle \def \booktitle #1{{{\em #1}}} \fi" # "\ifx \undefined \circled \def \circled #1{(#1)} \fi" # "\ifx \undefined \Dbar \def \Dbar {\leavevmode\raise0.2ex\hbox{--}\kern-0.5emD} \fi" # "\ifx \undefined \k \let \k = \c \fi" # "\ifx \undefined \pkg \def \pkg #1{{{\tt #1}}} \fi" # "\ifx \undefined \reg \def \reg {\circled{R}} \fi" # "\ifx \undefined \TM \def \TM {${}^{\sc TM}$} \fi" # "\hyphenation{ Aero-space Gur-e-wich Horst-mann ROAST-ER Rich-ard Sep-tem-ber data-bases roast-er }" }
@String{ack-nhfb = "Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), URL: \path|https://www.math.utah.edu/~beebe/|"}
@String{inst-CSC = "Center for Scientific Computing, Department of Mathematics, University of Utah"}
@String{inst-CSC:adr = "Salt Lake City, UT 84112, USA"}
@String{j-ACM-COMM-COMP-ALGEBRA = "ACM Communications in Computer Algebra"}
@String{j-ADA-USER-J = "Ada User Journal"}
@String{j-ADV-ENG-SOFTWARE = "Advances in Engineering Software"}
@String{j-ADV-EXP-MED-BIO = "Advances in experimental medicine and biology"}
@String{j-ADV-IMAGING = "Advanced Imaging"}
@String{j-ALGORITHMS-BASEL = "Algorithms ({Basel})"}
@String{j-AMER-STAT = "The American Statistician"}
@String{j-APL-QUOTE-QUAD = "APL Quote Quad"}
@String{j-APPL-MATH-COMP = "Applied Mathematics and Computation"}
@String{j-BIOINFORMATICS = "Bioinformatics"}
@String{j-BUSINESS-WEEK = "Business week"}
@String{j-CACM = "Communications of the ACM"}
@String{j-CCCUJ = "C/C++ Users Journal"}
@String{j-CCPE = "Concurrency and Computation: Prac-tice and Experience"}
@String{j-CHEMO-INTELL-LAB = "Chemometrics and Intelligent Laboratory Systems"}
@String{j-COMP-ARCH-NEWS = "ACM SIGARCH Computer Architecture News"}
@String{j-COMP-CIVIL-ENG = "Journal of Computing in Civil Engineering"}
@String{j-COMP-EDU-J = "Computers in education journal"}
@String{j-COMP-GEOSCI = "Computers and Geosciences"}
@String{j-COMP-J = "The Computer Journal"}
@String{j-COMP-LANGS = "Computer Languages"}
@String{j-COMP-LANGS-SYS-STRUCT = "Computer Languages, Systems and Structures"}
@String{j-COMP-MATH-APPL = "Computers and Mathematics with Applications"}
@String{j-COMP-NET-AMSTERDAM = "Computer Networks (Amsterdam, Netherlands: 1999)"}
@String{j-COMP-PHYS-COMM = "Computer Physics Communications"}
@String{j-COMP-STANDARDS-INTERFACES = "Computer Standards and Interfaces"}
@String{j-COMP-STAT = "Computational Statistics"}
@String{j-COMP-STRUCTURES = "Computers and Structures"}
@String{j-COMP-SURV = "ACM Computing Surveys"}
@String{j-COMPUT-APPL-ENG-EDUC = "Computer Applications in Engineering Education"}
@String{j-COMPUT-MATH-APPL = "Computers and Mathematics with Applications"}
@String{j-COMPUT-BULL = "The Computer Bulletin"}
@String{j-COMPUT-HUM-BEHAV = "Computers in Human Behavior"}
@String{j-COMPUT-METH-PROG-BIOMED = "Computer Methods and Programs in Biomedicine"}
@String{j-COMPUT-SCI-ENG = "Computing in Science and Engineering"}
@String{j-COMPUT-SECUR = "Computers and Security"}
@String{j-COMPUTER = "Computer"}
@String{j-COMPUTERS-AND-GRAPHICS = "Computers and Graphics"}
@String{j-COMPUTING = "Computing"}
@String{j-CONTROL-ENG = "Control Engineering"}
@String{j-CPE = "Concurrency: Prac-tice and Experience"}
@String{j-DDJ = "Dr. Dobb's Journal of Software Tools"}
@String{j-EDN = "EDN"}
@String{j-ELECT-NOTES-THEOR-COMP-SCI = "Electronic Notes in Theoretical Computer Science"}
@String{j-ELECTRONIC-DESIGN = "Electronic Design"}
@String{j-ELECTRONIC-ENG-TIMES = "Electronic Engineering Times"}
@String{j-ELECTRONIC-LIBRARY = "Electronic Library"}
@String{j-ELECTRONIK = "Elektronik"}
@String{j-ELETTRONICA-OGGI = "Elettronica Oggi"}
@String{j-EMBED-SYS-PROG = "Embedded Systems Programming"}
@String{j-EMBEDDED-LINUX-J = "Embedded Linux Journal"}
@String{j-EMPIR-SOFTWARE-ENG = "Empirical Software Engineering"}
@String{j-FORM-METHODS-SYST-DES = "Formal Methods in System Design"}
@String{j-FORM-ASP-COMPUT = "Formal Aspects of Computing"}
@String{j-FRONTIERS-EDU-CONF = "Frontiers in Education Conference"}
@String{j-FUND-INFO = "Fundamenta Informaticae"}
@String{j-FUT-GEN-COMP-SYS = "Future Generation Computer Systems"}
@String{j-FUTURE-INTERNET = "Future Internet"}
@String{j-HIGHER-ORDER-SYMB-COMPUT = "Higher-Order and Symbolic Computation"}
@String{j-IBM-JRD = "IBM Journal of Research and Development"}
@String{j-IBM-SYS-J = "IBM Systems Journal"}
@String{j-IEE-PROC-COMPUT-DIGIT-TECH = "IEE Proceedings. Computers and Digital Techniques"}
@String{j-IEEE-CGA = "IEEE Computer Graphics and Applications"}
@String{j-IEEE-COMPUT-ARCHIT-LETT = "IEEE Computer Architecture Letters"}
@String{j-IEEE-CONCURR = "IEEE Concurrency"}
@String{j-IEEE-DISTRIB-SYST-ONLINE = "IEEE Distributed Systems Online"}
@String{j-IEEE-MICRO = "IEEE Micro"}
@String{j-IEEE-MULTIMEDIA = "IEEE MultiMedia"}
@String{j-IEEE-SEC-PRIV = "IEEE Security & Privacy"}
@String{j-IEEE-SIGNAL-PROCESS-MAG = "IEEE signal processing magazine"}
@String{j-IEEE-SOFTWARE = "IEEE Software"}
@String{j-IEEE-SPECTRUM = "IEEE Spectrum"}
@String{j-IEEE-TRANS-BIG-DATA = "IEEE Transactions on Big Data"}
@String{j-IEEE-TRANS-CONSUMER-ELECTRONICS = "IEEE Transactions on Consumer Electronics"}
@String{j-IEEE-TRANS-COMPUT = "IEEE Transactions on Computers"}
@String{j-IEEE-TRANS-EDUC = "IEEE transactions on education"}
@String{j-IEEE-TRANS-PAR-DIST-SYS = "IEEE Transactions on Parallel and Distributed Systems"}
@String{j-IEEE-TRANS-SOFTW-ENG = "IEEE Transactions on Software Engineering"}
@String{j-IEEE-TRANS-VIS-COMPUT-GRAPH = "IEEE Transactions on Visualization and Computer Graphics"}
@String{j-IETE-TECH-REV = "IETE Technical Review"}
@String{j-IJHPCA = "The International Journal of High Performance Computing Applications"}
@String{j-INF-CONTROL = "Information and Control"}
@String{j-INFO-PROC-LETT = "Information Processing Letters"}
@String{j-INFO-RETRIEVAL-LIB-AUTO = "Information Retrieval and Library Automation"}
@String{j-INFO-SOFTWARE-TECH = "Information and Software Technology"}
@String{j-INFORMATION-WEEK = "Information Week"}
@String{j-INFOWORLD = "InfoWorld"}
@String{j-INT-J-COMPUT-SYST-SCI-ENG = "International Journal of Computer Systems Science and Engineering"}
@String{j-INT-J-ENG-EDUC = "International Journal of Engineering Education"}
@String{j-INT-J-IMAGE-GRAPHICS = "International Journal of Image and Graphics (IJIG)"}
@String{j-INT-J-INFO-SEC = "International Journal of Information Security"}
@String{j-INT-J-PARALLEL-PROG = "International Journal of Parallel Programming"}
@String{j-INT-J-ROBOTICS-AUTOMATION = "International Journal of Robotics and Automation"}
@String{j-INT-J-SOFTW-TOOLS-TECHNOL-TRANSFER = "International Journal on Software Tools for Technology Transfer (STTT)"}
@String{j-INT-J-SYST-SCI = "International Journal of Systems Science"}
@String{j-INTEL-TECH-J = "Intel Technology Journal"}
@String{j-J-ACM = "Journal of the ACM"}
@String{j-J-AUTOM-REASON = "Journal of Automated Reasoning"}
@String{j-J-COMP-INFO-SYS = "The Journal of Computer Information Systems"}
@String{j-J-COMP-SCI-TECH = "Journal of Computer Science and Technology"}
@String{j-J-COMP-SECUR = "Journal of Computer Security"}
@String{j-J-COMP-SYS-SCI = "Journal of Computer and System Sciences"}
@String{j-J-COMPUT-APPL-MATH = "Journal of Computational and Applied Mathematics"}
@String{j-J-COMPUT-BIOL = "Journal of Computational Biology"}
@String{j-J-COMPUT-GRAPH-STAT = "Journal of Computational and Graphical Statistics"}
@String{j-COMPUT-SECUR = "Computers & Security"}
@String{j-J-CRYPTO-ENG = "Journal of Cryptographic Engineering"}
@String{j-J-DIGITAL-IMAGING = "Journal of Digital Imaging"}
@String{j-J-FUNCT-PROGRAM = "Journal of Functional Programming"}
@String{j-J-GEOPHYS-RES = "Journal of Geophysical Research"}
@String{j-J-GRID-COMP = "Journal of Grid Computing"}
@String{j-J-INFO-SCI-ENG = "Journal of Information Science and Engineering"}
@String{j-J-INFO-SEC-APPL = "Journal of Information Security and Applications (JISA)"}
@String{j-J-LOGIC-ALG-PROG = "Journal of Logic and Algebraic Programming"}
@String{j-J-NETW-COMPUT-APPL = "Journal of Network and Computer Applications"}
@String{j-J-OPEN-RES-SOFT = "Journal of Open Research Software"}
@String{j-J-OPEN-SOURCE-SOFT = "Journal of Open Source Software"}
@String{j-J-OPER-RES-SOC = "OR: the journal of the Operational Research Society"}
@String{j-J-PAR-DIST-COMP = "Journal of Parallel and Distributed Computing"}
@String{j-J-SOFTW-EVOL-PROC = "Journal of Software: Evolution and Process"}
@String{j-J-SOFTW-MAINT-EVOL = "Journal of Software Maintenance and Evolution: Research and Practice"}
@String{j-J-STAT-SOFT = "Journal of Statistical Software"}
@String{j-J-SUPERCOMPUTING = "The Journal of Supercomputing"}
@String{j-J-SYST-SOFTW = "The Journal of Systems and Software"}
@String{j-J-UCS = "J.UCS: Journal of Universal Computer Science"}
@String{j-JERIC = "ACM Journal on Educational Resources in Computing (JERIC)"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{j-LINUX-J = "Linux Journal"}
@String{j-LIT-LING-COMP = "Literary and Linguistic Computing"}
@String{j-LOGIN = ";login: the USENIX Association newsletter"}
@String{j-LOPLAS = "ACM Letters on Programming Languages and Systems"}
@String{j-MAGMA = "Magma"}
@String{j-MARKUP-LANG = "Markup languages: theory & practice"}
@String{j-MATH-COMP-EDU = "Mathematics and computer education"}
@String{j-MICROPROC-MICROSYS = "Microprocessors and Microsystems"}
@String{j-MICROPROC-REP = "Microprocessor report"}
@String{j-MINI-MICRO-SYSTEMS = "Mini-Micro Systems"}
@String{j-MOL-SIM = "Molecular simulation"}
@String{j-MULTIMEDIA-SYSTEMS = "Multimedia Systems"}
@String{j-MULTIMEDIA-TOOLS-APPLIC = "Multimedia Tools and Applications"}
@String{j-NETWORK-COMPUTING = "Network Computing"}
@String{j-NETWORK-SECURITY = "Network Security"}
@String{j-NEUROIMAGE = "NeuroImage"}
@String{j-NORDIC-J-COMPUT = "Nordic Journal of Computing"}
@String{j-OPER-SYS-REV = "Operating Systems Review"}
@String{j-PACMPL = "Proceedings of the ACM on Programming Languages (PACMPL)"}
@String{j-PARALLEL-ALGORITHMS-APPL = "Parallel Algorithms and Applications"}
@String{j-PARALLEL-COMPUTING = "Parallel Computing"}
@String{j-PARALLEL-DIST-COMP-PRACT = "Parallel and Distributed Computing Practices"}
@String{j-PARALLEL-PROCESS-LETT = "Parallel Processing Letters"}
@String{j-PC-MAGAZINE = "PC Magazine"}
@String{j-PERF-EVAL = "Performance evaluation"}
@String{j-PERS-COMPUT-WORLD = "Personal computer world"}
@String{j-POMACS = "Proceedings of the ACM on Measurement and Analysis of Computing Systems (POMACS)"}
@String{j-PRIMUS = "PRIMUS (Problems Resources and Issues in Mathematics Undergraduate Studies)"}
@String{j-PROC-AM-CONTROL-CONF = "Proceedings of the American Control Conference"}
@String{j-PROC-IEEE = "Proceedings of the IEEE"}
@String{j-PROC-SPIE = "Proceedings of the SPIE --- The International Society for Optical Engineering"}
@String{j-PROC-VLDB-ENDOWMENT = "Proceedings of the VLDB Endowment"}
@String{j-PROG-COMP-SOFT = "Programming and Computer Software; translation of Programmirovaniye (Moscow, USSR) Plenum"}
@String{j-QUEUE = "ACM Queue: Tomorrow's Computing Today"}
@String{j-REAL-TIME-SYST = "Real-Time Systems"}
@String{j-REV-ESP-ELECT = "Revista espa{~n}ola de electronica"}
@String{j-SCI-COMPUT-PROGRAM = "Science of Computer Programming"}
@String{j-SCI-PROG = "Scientific Programming"}
@String{j-SCPE = "Scalable Computing: Practice and Experience"}
@String{j-SIGADA-LETTERS = "ACM SIGADA Ada Letters"}
@String{j-SIGCSE = "SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education)"}
@String{j-SIGMETRICS = "ACM SIGMETRICS Perform. Eval. Rev."}
@String{j-SIGMOD = "SIGMOD Record (ACM Special Interest Group on Management of Data)"}
@String{j-SIGPLAN = "ACM SIG{-}PLAN Notices"}
@String{j-SIGSAM = "SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)"}
@String{j-SIGSOFT = "ACM SIGSOFT Software Engineering Notes"}
@String{j-SIM-SERIES = "Simulation series"}
@String{j-SIMULATION = "Simulation"}
@String{j-SOFTWAREX = "SoftwareX"}
@String{j-SPE = "Soft-ware\emdash Prac-tice and Experience"}
@String{j-SYS-ADMIN = "SysAdmin"}
@String{j-SYS-COMP-JAPAN = "Systems and computers in Japan"}
@String{j-SYST-CONTROL-INFO = "Systems, Control and Information = Shisutemu Seigyo Joho Gakkai shi"}
@String{j-TAAS = "ACM Transactions on Autonomous and Adaptive Systems (TAAS)"}
@String{j-TACO = "ACM Transactions on Architecture and Code Optimization"}
@String{j-TALG = "ACM Transactions on Algorithms"}
@String{j-TAP = "ACM Transactions on Applied Perception"}
@String{j-TCBB = "IEEE/ACM Transactions on Computational Biology and Bioinformatics"}
@String{j-TECHNIQUE-SCI-INFORMATIQUES = "Technique et science informatiques : TSI"}
@String{j-TECS = "ACM Transactions on Embedded Computing Systems"}
@String{j-THEOR-COMP-SCI = "Theoretical Computer Science"}
@String{j-TISSEC = "ACM Transactions on Information and System Security"}
@String{j-TIST = "ACM Transactions on Intelligent Systems and Technology (TIST)"}
@String{j-TMIS = "ACM Transactions on Management Information Systems (TMIS)"}
@String{j-TOCE = "ACM Transactions on Computing Education"}
@String{j-TOCHI = "ACM Transactions on Computer-Human Interaction"}
@String{j-TOCL = "ACM Transactions on Computational Logic"}
@String{j-TOCS = "ACM Transactions on Computer Systems"}
@String{j-TODAES = "ACM Transactions on Design Automation of Electronic Systems"}
@String{j-TOIT = "ACM Transactions on Internet Technology (TOIT)"}
@String{j-TOMACS = "ACM Transactions on Modeling and Computer Simulation"}
@String{j-TOMPECS = "ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS)"}
@String{j-TOMS = "ACM Transactions on Mathematical Software"}
@String{j-TOPC = "ACM Transactions on Parallel Computing (TOPC)"}
@String{j-TOPLAS = "ACM Transactions on Programming Languages and Systems"}
@String{j-TOPS = "ACM Transactions on Privacy and Security (TOPS)"}
@String{j-TOS = "ACM Transactions on Storage"}
@String{j-TOSEM = "ACM Transactions on Software Engineering and Methodology"}
@String{j-TWEB = "ACM Transactions on the Web (TWEB)"}
@String{j-VLDB-J = "VLDB Journal: Very Large Data Bases"}
@String{j-WIRTSCHAFTSINFORMATIK = "Wirtschaftsinformatik"}
@String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"}
@String{pub-AIP = "American Institute of Physics"} @String{pub-AIP:adr = "Woodbury, NY, USA"}
@String{pub-APRESS = "Apress"} @String{pub-APRESS:adr = "Berkeley, CA, USA"}
@String{pub-ARTECH = "Artech House Inc."} @String{pub-ARTECH:adr = "Norwood, MA, USA"}
@String{pub-AW = "Ad{-d}i{-s}on-Wes{-l}ey"} @String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-AW-LONGMAN = "Ad{-d}i{-s}on-Wes{-l}ey Longman"} @String{pub-AW-LONGMAN:adr = "Reading, MA, USA"}
@String{pub-BIRKHAUSER = "Birkh{"a}user Verlag"} @String{pub-BIRKHAUSER:adr = "Basel, Switzerland"}
@String{pub-BROOKS-COLE = "Brooks\slash Cole"} @String{pub-BROOKS-COLE:adr = "Pacific Grove, CA, USA"}
@String{pub-CAMBRIDGE = "Cambridge University Press"} @String{pub-CAMBRIDGE:adr = "Cambridge, UK"}
@String{pub-CHAPMAN-HALL-CRC = "Chapman and Hall/CRC"} @String{pub-CHAPMAN-HALL-CRC:adr = "Boca Raton, FL, USA"}
@String{pub-CHARLES-RIVER-MEDIA = "Charles River Media, Inc."} @String{pub-CHARLES-RIVER-MEDIA:adr = "403 VFW Drive, PO Box 417, Rockland, MA 02370, USA"}
@String{pub-CORIOLIS = "Coriolis Group Books"} @String{pub-CORIOLIS:adr = "Scottsdale, AZ, USA"}
@String{pub-COURSE-TECHNOLOGY = "Course Technology"} @String{pub-COURSE-TECHNOLOGY:adr = "Cambridge, MA, USA"}
@String{pub-CRC = "CRC Press"} @String{pub-CRC:adr = "2000 N.W. Corporate Blvd., Boca Raton, FL 33431-9868, USA"}
@String{pub-HUNGRY-MINDS = "Hungry Minds"} @String{pub-HUNGRY-MINDS:adr = "909 Third Avenue, New York, NY 10022, USA"}
@String{pub-HUNGRY-MINDS-IN = "Hungry Minds"} @String{pub-HUNGRY-MINDS-IN:adr = "Indianapolis, IN, USA"}
@String{pub-IBM-PRESS = "IBM Press"} @String{pub-IBM-PRESS:adr = ""}
@String{pub-IDG = "IDG Books"} @String{pub-IDG:adr = "San Mateo, CA, USA"}
@String{pub-IDG-WORLDWIDE = "I D G Books Worldwide"} @String{pub-IDG-WORLDWIDE:adr = "Indianapolis, IN, USA"}
@String{pub-IEEE = "IEEE Computer Society Press"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"}
@String{pub-IOS = "IOS Press"} @String{pub-IOS:adr = "Amsterdam, The Netherlands"}
@String{pub-IRWIN-MCGRAW-HILL = "Irwin\slash McGraw Hill"} @String{pub-IRWIN-MCGRAW-HILL:adr = "Boston, MA, USA"}
@String{pub-ISO = "International Organization for Standardization"} @String{pub-ISO:adr = "Geneva, Switzerland"}
@String{pub-ITP = "International Thomson Publishing"} @String{pub-ITP:adr = "London, New York, Boston, Madrid, \ldots{}"}
@String{pub-JONES-BARTLETT = "Jones and Bartlett"} @String{pub-JONES-BARTLETT:adr = "Boston, MA, USA"}
@String{pub-KLUWER = "Kluwer Academic Publishers Group"} @String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht, The Netherlands"}
@String{pub-MANNING = "Manning Publications"} @String{pub-MANNING:adr = "Greenwich, CT, USA"}
@String{pub-MCGRAW-HILL = "Mc{-}Graw-Hill"} @String{pub-MCGRAW-HILL:adr = "New York, NY, USA"}
@String{pub-MIT = "MIT Press"} @String{pub-MIT:adr = "Cambridge, MA, USA"}
@String{pub-MORGAN-KAUFMANN = "Morgan Kaufmann Publishers"} @String{pub-MORGAN-KAUFMANN:adr = "Los Altos, CA 94022, USA"}
@String{pub-MT = "M&T Books"} @String{pub-MT:adr = "M&T Publishing, Inc., 501 Galveston Drive, Redwood City, CA 94063, USA"}
@String{pub-NASA = "National Aeronautics and Space Administration"} @String{pub-NASA:adr = "Washington, DC, USA"}
@String{pub-NEW-RIDERS = "New Riders Publishing"} @String{pub-NEW-RIDERS:adr = "Carmel, IN, USA"}
@String{pub-NIST = "National Institute for Standards and Technology"} @String{pub-NIST:adr = "Gaithersburg, MD, USA"}
@String{pub-NO-STARCH = "No Starch Press"} @String{pub-NO-STARCH:adr = "San Francisco, CA, USA"}
@String{pub-NORTON = "W. W. Norton & Co."} @String{pub-NORTON:adr = "New York, NY, USA"}
@String{pub-ORA = "O'Reilly & {Associates, Inc.}"} @String{pub-ORA:adr = "981 Chestnut Street, Newton, MA 02164, USA"}
@String{pub-ORA-MEDIA = "O'Reilly Media, Inc."} @String{pub-ORA-MEDIA:adr = "1005 Gravenstein Highway North, Sebastopol, CA 95472, USA"}
@String{pub-OSBORNE = "Osborne/McGraw-Hill"} @String{pub-OSBORNE:adr = "Berkeley, CA, USA"}
@String{pub-PEACHPIT = "Peachpit Press, Inc."} @String{pub-PEACHPIT:adr = "1085 Keith Avenue, Berkeley, CA 94708, USA"}
@String{pub-PEARSON-EDUCATION = "Pearson Education"} @String{pub-PEARSON-EDUCATION:adr = "Upper Saddle River, NJ, USA"}
@String{pub-PH = "Pren{-}tice-Hall"} @String{pub-PH:adr = "Englewood Cliffs, NJ 07632, USA"}
@String{pub-PHPTR = "P T R Pren{-}tice-Hall"} @String{pub-PHPTR:adr = "Englewood Cliffs, NJ 07632, USA"}
@String{pub-PRAGMATIC-BOOKSHELF = "Pragmatic Bookshelf"} @String{pub-PRAGMATIC-BOOKSHELF:adr = "Raleigh, NC, USA"}
@String{pub-PRINCETON = "Princeton University Press"} @String{pub-PRINCETON:adr = "Princeton, NJ, USA"}
@String{pub-QUE = "Que Corporation"} @String{pub-QUE:adr = "Indianapolis, IN, USA"}
@String{pub-R-D-BOOKS = "R&D Books"} @String{pub-R-D-BOOKS:adr = "Lawrence, KS, USA; Berkeley, CA, USA"}
@String{pub-SAE = "Society of Automotive Engineers"} @String{pub-SAE:adr = "Warrendale, PA, USA"}
@String{pub-SAMS = "Howard W. Sams"} @String{pub-SAMS:adr = "Indianapolis, IN 46268, USA"}
@String{pub-SCOTT-JONES = "Scott\slash Jones"} @String{pub-SCOTT-JONES:adr = "El Granada, CA, USA"}
@String{pub-SIAM = "SIAM Press"} @String{pub-SIAM:adr = "Philadelphia, PA, USA"}
@String{pub-SITEPOINT = "SitePoint Pty. Ltd."} @String{pub-SITEPOINT:adr = "Collingwood, VIC, Australia"}
@String{pub-SPIE = "SPIE Optical Engineering Press"} @String{pub-SPIE:adr = "Bellingham, WA, USA"}
@String{pub-SUN-MICROSYSTEMS-PRESS = "Sun Microsystems Press"} @String{pub-SUN-MICROSYSTEMS-PRESS:adr = "Palo Alto, CA, USA"}
@String{pub-SUNSOFT = "SunSoft Press"} @String{pub-SUNSOFT:adr = "2550 Garcia Avenue, Mountain View, CA 94043-1100, USA"}
@String{pub-SV = "Spring{-}er-Ver{-}lag"}
@String{pub-SV:adr = "Berlin, Germany/ Heidelberg, Germany/
London, UK~/ etc."}
@String{pub-SYBEX = "Sybex, Inc."} @String{pub-SYBEX:adr = "2021 Challenger Driver, Suite 100, Alameda, CA 94501, USA"}
@String{pub-USENIX = "USENIX Association"} @String{pub-USENIX:adr = "Berkeley, CA, USA"}
@String{pub-WILEY = "John Wiley and Sons"} @String{pub-WILEY:adr = "New York, NY, USA; London, UK; Sydney, Australia"}
@String{pub-WILEY-COMPUTER = "Wiley Computer Publishers"} @String{pub-WILEY-COMPUTER:adr = "New York, NY, USA"}
@String{pub-WROX = "Wrox Press"} @String{pub-WROX:adr = "Chicago, IL, USA"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@String{ser-LNCSE = "Lecture Notes in Computational Science and Engineering"}
@Article{Aman:2020:ESA, author = "Hirohisa Aman and Sousuke Amasaki and Tomoyuki Yokogawa and Minoru Kawahara", title = "Empirical study of abnormality in local variables and its application to fault-prone {Java} method analysis", journal = j-J-SOFTW-EVOL-PROC, volume = "32", number = "4", pages = "e2220:1--e2220:??", month = apr, year = "2020", CODEN = "????", DOI = "https://doi.org/10.1002/smr.2220", ISSN = "2047-7473 (print), 2047-7481 (electronic)", ISSN-L = "2047-7473", bibdate = "Mon May 17 08:20:28 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib", acknowledgement = ack-nhfb, ajournal = "", fjournal = "Journal of Software: Evolution and Process", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481", onlinedate = "24 October 2019", }
@Article{Anonymous:2020:SWS, author = "Anonymous", title = "Skills wanted: {Sql}, {Java}, {Python}, and {AWS} top employers' wish lists --- [Careers]", journal = j-IEEE-SPECTRUM, volume = "57", number = "1", pages = "59--59", month = jan, year = "2020", CODEN = "IEESAM", DOI = "https://doi.org/10.1109/MSPEC.2020.8946316", ISSN = "0018-9235 (print), 1939-9340 (electronic)", ISSN-L = "0018-9235", bibdate = "Fri Jan 17 09:23:28 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeespectrum2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Spectrum", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6", }
@Article{Artho:2020:JPW, author = "Cyrille Artho and Quoc-Sang Phan and Peter Aldous and Alyas Almaawi and Lucas Bang and Lasse Berglund and Tevfik Bultan and Zhenbang Chen and Hayes Converse and Wei Dong and William Eiers and Milos Gligoric and Simon Goldsmith and Lars Grunske and Joshua Hooker and Ismet Burak Kadron and Timo Kehrer and Sarfraz Khurshid and Xuan-Bach D. Le and David Lo and Eric Mercer and Sasa Misailovic and Egor Namakonov and Hoang Lam Nguyen and Yannic Noller and Benjamin Ogles and Rohan Padhye and Pavel Parizek and Corina S. Pasareanu and S. Jacob Powell and Seemanta Saha and Koushik Sen and Elena Sherman and Kyle Storey and Minxing Tang and Willem Visser and Ji Wang and Hengbiao Yu", title = "The {Java Pathfinder Workshop 2019}", journal = j-SIGSOFT, volume = "45", number = "2", pages = "20--22", month = apr, year = "2020", DOI = "https://doi.org/10.1145/3385678.3385685", bibdate = "Wed Mar 24 14:24:57 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib", URL = "https://dl.acm.org/doi/10.1145/3385678.3385685", abstract = "Java Path nder (JPF) was originally developed as an explicit-state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been successfully used to implement techniques such as symbolic and \ldots{}", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/loi/sigsoft", }
@Article{Basin:2020:KKV, author = "Dmitry Basin and Edward Bortnikov and Anastasia Braginsky and Guy Golan-Gueta and Eshcar Hillel and Idit Keidar and Moshe Sulamy", title = "{KiWi}: a Key--value Map for Scalable Real-time Analytics", journal = j-TOPC, volume = "7", number = "3", pages = "16:1--16:28", month = aug, year = "2020", CODEN = "????", DOI = "https://doi.org/10.1145/3399718", ISSN = "2329-4949 (print), 2329-4957 (electronic)", ISSN-L = "2329-4949", bibdate = "Thu Aug 6 08:56:07 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/topc.bib", URL = "https://dl.acm.org/doi/abs/10.1145/3399718", abstract = "We present KiWi, the first atomic KV-map to efficiently support simultaneous large scans and real-time access. The key to achieving this is treating scans as first class citizens and organizing the data structure around them. KiWi provides wait-free scans, whereas its put operations are lightweight and lock-free. It optimizes memory management jointly with data structure access. We implement KiWi and compare it to state-of-the-art solutions. Compared to other KV-maps providing atomic scans, KiWi performs either long scans or concurrent puts an order of magnitude faster. Its scans are twice as fast as non-atomic ones implemented via iterators in the Java skiplist.", acknowledgement = ack-nhfb, articleno = "16", fjournal = "ACM Transactions on Parallel Computing", journal-URL = "https://dl.acm.org/loi/topc", }
@Article{Blanco:2020:USE, author = "Guillermo Blanco and Roi P{'e}rez-L{'o}pez and Florentino Fdez-Riverola and An{'a}lia Maria Garcia Louren{\c{c}}o", title = "Understanding the social evolution of the {Java} community in {Stack Overflow}: a 10-year study of developer interactions", journal = j-FUT-GEN-COMP-SYS, volume = "105", number = "??", pages = "446--454", month = apr, year = "2020", CODEN = "FGSEVI", DOI = "https://doi.org/10.1016/j.future.2019.12.021", ISSN = "0167-739X (print), 1872-7115 (electronic)", ISSN-L = "0167-739X", bibdate = "Mon Feb 10 12:55:07 MST 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/futgencompsys.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167739X19311884", acknowledgement = ack-nhfb, fjournal = "Future Generation Computer Systems", journal-URL = "http://www.sciencedirect.com/science/journal/0167739X", }
@Article{Bright:2020:ODP, author = "Walter Bright and Andrei Alexandrescu and Michael Parker", title = "Origins of the {D} programming language", journal = j-PACMPL, volume = "4", number = "HOPL", pages = "73:1--73:38", month = jun, year = "2020", DOI = "https://doi.org/10.1145/3386323", bibdate = "Fri Aug 7 17:39:13 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib; https://www.math.utah.edu/pub/tex/bib/unicode.bib", URL = "https://dl.acm.org/doi/abs/10.1145/3386323", abstract = "As its name suggests, the initial motivation for the D programming language was to improve on C and C++ while keeping their spirit. The D language was to preserve those languages' efficiency, low-level access, and Algol-style syntax. The areas D set out o improve focused initially on rapid development, convenience, and simplifying the syntax without hampering expressiveness.\par
The genesis of D has its peculiarities, as is the case
with many other languages. Walter Bright, D's creator,
is a mechanical engineer by education who started out
working for Boeing designing gearboxes for the 757. He
was programming games on the side, and in trying to
make his game Empire run faster, became interested in
compilers. Despite having no experience, Bright set out
in 1982 to implement a compiler that produced better
code than those on the market at the time.\par
This interest materialized into a C compiler, followed
by compilers for C++, Java, and JavaScript. Best known
of these would be the Zortech C++ compiler, the first
(and to date only) C++-to-native compiler developed by
a single person. The D programming language began in
1999 as an effort to pull the best features of these
languages into a new one. Fittingly, D would use the by
that time mature C/C++ back end (optimizer and code
generator) that had been under continued development
and maintenance since 1982.\par
Between 1999 and 2006, Bright worked alone on the D
language definition and its implementation, although a
steadily increasing volume of patches from users was
incorporated. The new language would be based on the
past successes of the languages he'd used and
implemented, but would be clearly looking to the
future. D started with choices that are obvious today
but were less clear winners back in the 1990s: full
support for Unicode, IEEE floating point, 2s complement
arithmetic, and flat memory addressing (memory is
treated as a linear address space with no
segmentation). It would do away with certain
compromises from past languages imposed by shortages of
memory (for example, forward declarations would not be
required). It would primarily appeal to C and C++
users, as expertise with those languages would be
readily transferrable. The interface with C was
designed to be zero cost.\par
The language design was begun in late 1999. An alpha
version appeared in 2001 and the initial language was
completed, somewhat arbitrarily, at version 1.0 in
January 2007. During that time, the language evolved
considerably, both in capability and in the accretion
of a substantial worldwide community that became
increasingly involved with contributing. The front end
was open-sourced in April 2002, and the back end was
donated by Symantec to the open source community in
2017. Meanwhile, two additional open-source back ends
became mature in the 2010s: `gdc` (using the same back
end as the GNU C++ compiler) and `ldc` (using the LLVM
back end).\par
The increasing use of the D language in the 2010s
created an impetus for formalization and development
management. To that end, the D Language Foundation was
created in September 2015 as a nonprofit corporation
overseeing work on D's definition and implementation,
publications, conferences, and collaborations with
universities.",
acknowledgement = ack-nhfb, articleno = "73", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Capiluppi:2020:EMD, author = "Andrea Capiluppi and Nemitari Ajienka and Steve Counsell", title = "The effect of multiple developers on structural attributes: a study based on {Java} software", journal = j-J-SYST-SOFTW, volume = "167", number = "??", pages = "??--??", month = sep, year = "2020", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2020.110593", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Mon May 24 20:13:53 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S016412122030073X", acknowledgement = ack-nhfb, articleno = "110593", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Capiluppi:2020:LCC, author = "Andrea Capiluppi and Nemitari Ajienka", title = "Lexical content as a cooperation aide: a study based on {Java} software", journal = j-J-SYST-SOFTW, volume = "164", number = "??", pages = "??--??", month = jun, year = "2020", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2020.110543", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Mon May 24 20:13:52 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S016412122030025X", acknowledgement = ack-nhfb, articleno = "110543", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Cirani:2020:ZNC, author = "Simone Cirani and Marco Picone and Luca Veltri and Luca Zaccomer and Francesco Zanichelli", title = "\pkg{ZWT}: a new cross-platform graphical interface framework for {Java} applications", journal = j-SOFTWAREX, volume = "12", number = "??", pages = "Article 100599", month = jul # "\slash " # dec, year = "2020", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2020.100599", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Fri Apr 9 16:04:40 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711020303125", acknowledgement = ack-nhfb, fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Daoud:2020:MAJ, author = "Houssem Daoud and Michel Dagenais", title = "Multilevel analysis of the {Java Virtual Machine} based on kernel and userspace traces", journal = j-J-SYST-SOFTW, volume = "167", number = "??", pages = "??--??", month = sep, year = "2020", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2020.110589", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Mon May 24 20:13:53 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121220300698", acknowledgement = ack-nhfb, articleno = "110589", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Darabkh:2020:JIC, author = "Khalid A. Darabkh and Oswa M. Amro and Raed T. Al-Zubi and Haythem Bany Salameh and Ramzi Saifan", title = "{JavaSim-IBFD-CRNs}: Novel {Java} simulator for in-band full-duplex cognitive radio networks over {Internet of Things} environment", journal = j-J-NETW-COMPUT-APPL, volume = "172", number = "??", pages = "??--??", day = "15", month = dec, year = "2020", CODEN = "JNCAF3", DOI = "https://doi.org/10.1016/j.jnca.2020.102833", ISSN = "1084-8045 (print), 1095-8592 (electronic)", ISSN-L = "1084-8045", bibdate = "Mon May 24 15:12:40 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jnetwcomputappl.bib", URL = "http://www.sciencedirect.com/science/article/pii/S1084804520303039", acknowledgement = ack-nhfb, articleno = "102833", fjournal = "Journal of Network and Computer Applications", journal-URL = "http://www.sciencedirect.com/science/journal/10848045", }
@Article{Fang:2020:DMJ, author = "Yong Fang and Cheng Huang and Yu Su and Yaoyao Qiu", title = "Detecting malicious {JavaScript} code based on semantic analysis", journal = j-COMPUT-SECUR, volume = "93", number = "??", pages = "Article 101764", month = jun, year = "2020", CODEN = "CPSEDU", DOI = "https://doi.org/10.1016/j.cose.2020.101764", ISSN = "0167-4048 (print), 1872-6208 (electronic)", ISSN-L = "0167-4048", bibdate = "Wed Mar 10 08:25:03 MST 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167404820300481", acknowledgement = ack-nhfb, fjournal = "Computers & Security", journal-URL = "http://www.sciencedirect.com/science/journal/01674048", }
@Article{Feitosa:2020:TDA, author = "Samuel Feitosa and Rodrigo Ribeiro and Andre {Du Bois}", title = "A type-directed algorithm to generate random well-typed {Java 8} programs", journal = j-SCI-COMPUT-PROGRAM, volume = "196", number = "??", pages = "??--??", day = "15", month = sep, year = "2020", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2020.102494", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed May 26 13:33:22 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642320301039", acknowledgement = ack-nhfb, articleno = "102494", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Ferrara:2020:CJB, author = "Pietro Ferrara and Agostino Cortesi and Fausto Spoto", title = "From {CIL} to {Java} bytecode: {Semantics}-based translation for static analysis leveraging", journal = j-SCI-COMPUT-PROGRAM, volume = "191", number = "??", pages = "??--??", day = "1", month = jun, year = "2020", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2020.102392", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed May 26 13:33:20 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642320300034", acknowledgement = ack-nhfb, articleno = "102392", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Foket:2020:EEJ, author = "Christophe Foket and Koen {De Bosschere} and Bjorn {De Sutter}", title = "Effective and efficient {Java}-type obfuscation", journal = j-SPE, volume = "50", number = "2", pages = "136--160", month = feb, year = "2020", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.2773", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Fri Aug 14 11:05:21 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "29 November 2019", }
@Article{Frison:2020:BAB, author = "Gianluca Frison and Tommaso Sartor and Andrea Zanelli and Moritz Diehl", title = "The {BLAS API} of {BLASFEO}: Optimizing Performance for Small Matrices", journal = j-TOMS, volume = "46", number = "2", pages = "15:1--15:36", month = jun, year = "2020", CODEN = "ACMSCU", DOI = "https://doi.org/10.1145/3378671", ISSN = "0098-3500 (print), 1557-7295 (electronic)", ISSN-L = "0098-3500", bibdate = "Fri Jun 12 07:37:53 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/matlab.bib; https://www.math.utah.edu/pub/tex/bib/python.bib; https://www.math.utah.edu/pub/tex/bib/toms.bib", URL = "https://dl.acm.org/doi/abs/10.1145/3378671", abstract = "Basic Linear Algebra Subroutines For Embedded Optimization (BLASFEO) is a dense linear algebra library providing high-performance implementations of BLAS- and LAPACK-like routines for use in embedded optimization and other applications targeting relatively small matrices. BLASFEO defines an application programming interface (API) which uses a packed matrix format as its native format. This format is analogous to the internal memory buffers of optimized BLAS, but it is exposed to the user and it removes the packing cost from the routine call. For matrices fitting in cache, BLASFEO outperforms optimized BLAS implementations, both open source and proprietary. This article investigates the addition of a standard BLAS API to the BLASFEO framework, and proposes an implementation switching between two or more algorithms optimized for different matrix sizes. Thanks to the modular assembly framework in BLASFEO, tailored linear algebra kernels with mixed column- and panel-major arguments are easily developed. This BLAS API has lower performance than the BLASFEO API, but it nonetheless outperforms optimized BLAS and especially LAPACK libraries for matrices fitting in cache. Therefore, it can boost a wide range of applications, where standard BLAS and LAPACK libraries are employed and the matrix size is moderate. In particular, this article investigates the benefits in scientific programming languages such as Octave, SciPy, and Julia.", acknowledgement = ack-nhfb, articleno = "15", fjournal = "ACM Transactions on Mathematical Software (TOMS)", journal-URL = "https://dl.acm.org/loi/toms", }
@Article{Gavidia-Calderon:2020:IJF, author = "Carlos Gavidia-Calderon and C{'e}sar Beltr{'a}n Casta{~n}on", title = "\pkg{Isula}: a {Java} framework for ant colony algorithms", journal = j-SOFTWAREX, volume = "11", number = "??", pages = "Article 100400", month = jan # "\slash " # jun, year = "2020", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2020.100400", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Fri Apr 9 16:04:39 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711019300639", acknowledgement = ack-nhfb, fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Ghanavati:2020:MRL, author = "Mohammadreza Ghanavati and Diego Costa and Janos Seboek and David Lo and Artur Andrzejak", title = "Memory and resource leak defects and their repairs in {Java} projects", journal = j-EMPIR-SOFTWARE-ENG, volume = "25", number = "1", pages = "678--718", month = jan, year = "2020", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-019-09731-8", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Wed Apr 29 09:48:41 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://link.springer.com/article/10.1007/s10664-019-09731-8", acknowledgement = ack-nhfb, fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Ghiotto:2020:NMC, author = "G. Ghiotto and L. Murta and M. Barros and A. {van der Hoek}", title = "On the Nature of Merge Conflicts: A Study of 2,731 Open Source {Java} Projects Hosted by {GitHub}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "46", number = "8", pages = "892--915", year = "2020", CODEN = "IESEDJ", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Sep 17 07:36:32 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/gnu.bib; https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Griesemer:2020:FG, author = "Robert Griesemer and Raymond Hu and Wen Kokke and Julien Lange and Ian Lance Taylor and Bernardo Toninho and Philip Wadler and Nobuko Yoshida", title = "Featherweight {Go}", journal = j-PACMPL, volume = "4", number = "OOPSLA", pages = "149:1--149:29", month = nov, year = "2020", DOI = "https://doi.org/10.1145/3428217", bibdate = "Tue Mar 30 08:10:50 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3428217", abstract = "We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use \ldots{}", acknowledgement = ack-nhfb, articleno = "149", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Harlander:2020:F, author = "R. V. Harlander and S. Y. Klein and M. Lipp", title = "{FeynGame}", journal = j-COMP-PHYS-COMM, volume = "256", number = "??", pages = "Article 107465", month = nov, year = "2020", CODEN = "CPHCBZ", DOI = "https://doi.org/10.1016/j.cpc.2020.107465", ISSN = "0010-4655 (print), 1879-2944 (electronic)", ISSN-L = "0010-4655", bibdate = "Sat Mar 13 08:21:39 MST 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/compphyscomm2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0010465520302186", acknowledgement = ack-nhfb, fjournal = "Computer Physics Communications", journal-URL = "http://www.sciencedirect.com/science/journal/00104655", keywords = "Java-based graphical tool for drawing Feynman diagrams", }
@Article{Harrand:2020:JDD, author = "Nicolas Harrand and C{'e}sar Soto-Valero and Martin Monperrus and Benoit Baudry", title = "{Java} decompiler diversity and its application to meta-decompilation", journal = j-J-SYST-SOFTW, volume = "168", number = "??", pages = "??--??", month = oct, year = "2020", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2020.110645", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Mon May 24 20:13:54 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121220301151", acknowledgement = ack-nhfb, articleno = "110645", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Hickey:2020:HC, author = "Rich Hickey", title = "A history of {Clojure}", journal = j-PACMPL, volume = "4", number = "HOPL", pages = "71:1--71:46", month = jun, year = "2020", DOI = "https://doi.org/10.1145/3386321", bibdate = "Fri Aug 7 17:39:13 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/abs/10.1145/3386321", abstract = "Clojure was designed to be a general-purpose, practical functional language, suitable for use by professionals wherever its host language, e.g., Java, would be. Initially designed in 2005 and released in 2007, Clojure is a dialect of Lisp, but is not a direct descendant of any prior Lisp. It complements programming with pure functions of immutable data with concurrency-safe state management constructs that support writing correct multithreaded programs without the complexity of mutex locks.\par
Clojure is intentionally hosted, in that it compiles to
and runs on the runtime of another language, such as
the JVM. This is more than an implementation strategy;
numerous features ensure that programs written in
Clojure can leverage and interoperate with the
libraries of the host language directly and
efficiently.\par
In spite of combining two (at the time) rather
unpopular ideas, functional programming and Lisp,
Clojure has since seen adoption in industries as
diverse as finance, climate science, retail, databases,
analytics, publishing, healthcare, advertising and
genomics, and by consultancies and startups worldwide,
much to the career-altering surprise of its
author.\par
Most of the ideas in Clojure were not novel, but their
combination puts Clojure in a unique spot in language
design (functional, hosted, Lisp). This paper recounts
the motivation behind the initial development of
Clojure and the rationale for various design decisions
and language constructs. It then covers its evolution
subsequent to release and adoption.",
acknowledgement = ack-nhfb, articleno = "71", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Higo:2020:TJM, author = "Yoshiki Higo and Shinpei Hayashi and Shinji Kusumoto", title = "On tracking {Java} methods with {Git} mechanisms", journal = j-J-SYST-SOFTW, volume = "165", number = "??", pages = "??--??", month = jul, year = "2020", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2020.110571", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Mon May 24 20:13:53 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121220300522", acknowledgement = ack-nhfb, articleno = "110571", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Hora:2020:CME, author = "Andre Hora and Romain Robbes", title = "Characteristics of method extractions in {Java}: a large scale empirical study", journal = j-EMPIR-SOFTWARE-ENG, volume = "25", number = "3", pages = "1798--1833", month = may, year = "2020", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-020-09809-8", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Fri Jun 19 07:35:07 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://link.springer.com/article/10.1007/s10664-020-09809-8", acknowledgement = ack-nhfb, fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Jiang:2020:SSI, author = "Lin Jiang and Junqiao Qiu and Zhijia Zhao", title = "Scalable structural index construction for {JSON} analytics", journal = j-PROC-VLDB-ENDOWMENT, volume = "14", number = "4", pages = "694--707", month = dec, year = "2020", CODEN = "????", DOI = "https://doi.org/10.14778/3436905.3436926", ISSN = "2150-8097", bibdate = "Tue Feb 23 08:32:42 MST 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/vldbe.bib", URL = "https://dl.acm.org/doi/10.14778/3436905.3436926", abstract = "JavaScript Object Notation (JSON) and its variants have gained great popularity in recent years. Unfortunately, the performance of their analytics is often dragged down by the expensive JSON parsing. To address this, recent work has shown that building \ldots{}", acknowledgement = ack-nhfb, fjournal = "Proceedings of the VLDB Endowment", journal-URL = "https://dl.acm.org/loi/pvldb", }
@Article{Karim:2020:PID, author = "R. Karim and F. Tip and A. {Soch rkov{'a}} and K. Sen", title = "Platform-Independent Dynamic Taint Analysis for {JavaScript}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "46", number = "12", pages = "1364--1379", month = dec, year = "2020", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2018.2878020", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Dec 18 09:01:37 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Khatchadourian:2020:SAR, author = "Raffi Khatchadourian and Yiming Tang and Mehdi Bagherzadeh", title = "Safe automated refactoring for intelligent parallelization of {Java 8} streams", journal = j-SCI-COMPUT-PROGRAM, volume = "195", number = "??", pages = "??--??", day = "1", month = sep, year = "2020", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2020.102476", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed May 26 13:33:22 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642320300861", acknowledgement = ack-nhfb, articleno = "102476", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{King:2020:HGP, author = "Paul King", title = "A history of the {Groovy} programming language", journal = j-PACMPL, volume = "4", number = "HOPL", pages = "76:1--76:53", month = jun, year = "2020", DOI = "https://doi.org/10.1145/3386326", bibdate = "Fri Aug 7 17:39:13 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/abs/10.1145/3386326", abstract = "This paper describes the history of the Groovy programming language. At the time of Groovy's inception, Java was a dominant programming language with a wealth of useful libraries. Despite this, it was perceived by some to be evolving slowing and to have \ldots{}", acknowledgement = ack-nhfb, articleno = "76", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Michail:2020:JJL, author = "Dimitrios Michail and Joris Kinable and Barak Naveh and John V. Sichi", title = "{JGraphT} --- a {Java} Library for Graph Data Structures and Algorithms", journal = j-TOMS, volume = "46", number = "2", pages = "16:1--16:29", month = jun, year = "2020", CODEN = "ACMSCU", DOI = "https://doi.org/10.1145/3381449", ISSN = "0098-3500 (print), 1557-7295 (electronic)", ISSN-L = "0098-3500", bibdate = "Fri Jun 12 07:37:53 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/toms.bib", URL = "https://dl.acm.org/doi/abs/10.1145/3381449", abstract = "Mathematical software and graph-theoretical algorithmic packages to efficiently model, analyze, and query graphs are crucial in an era where large-scale spatial, societal, and economic network data are abundantly available. One such package is JGraphT, programming library that contains very efficient and generic graph data structures along with a large collection of state-of-the-art algorithms. The library is written in Java with stability, interoperability, and performance in mind. A distinctive feature of this library is its ability to model vertices and edges as arbitrary objects, thereby permitting natural representations of many common networks, including transportation, social, and biological networks. Besides classic graph algorithms such as shortest-paths and spanning-tree algorithms, the library contains numerous advanced algorithms: graph and subgraph isomorphism, matching and flow problems, approximation algorithms for NP-hard problems such as independent set and the traveling salesman problem, and several more exotic algorithms such as Berge graph detection. Due to its versatility and generic design, JGraphT is currently used in large-scale commercial products, as well as noncommercial and academic research projects.\par
In this work, we describe in detail the design and
underlying structure of the library, and discuss its
most important features and algorithms. A computational
study is conducted to evaluate the performance of
JGraphT versus several similar libraries. Experiments
on a large number of graphs over a variety of popular
algorithms show that JGraphT is highly competitive with
other established libraries such as NetworkX or the
BGL.",
acknowledgement = ack-nhfb, articleno = "16", fjournal = "ACM Transactions on Mathematical Software (TOMS)", journal-URL = "https://dl.acm.org/loi/toms", }
@Article{Moller:2020:DLJ, author = "Anders M{\o}ller and Benjamin Barslev Nielsen and Martin Toldam Torp", title = "Detecting locations in {JavaScript} programs affected by breaking library changes", journal = j-PACMPL, volume = "4", number = "OOPSLA", pages = "187:1--187:25", month = nov, year = "2020", DOI = "https://doi.org/10.1145/3428255", bibdate = "Tue Mar 30 08:10:50 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3428255", abstract = "JavaScript libraries are widely used and evolve rapidly. When adapting client code to non-backwards compatible changes in libraries, a major challenge is how to locate affected API uses in client code, which is currently a difficult manual task. In this \ldots{}", acknowledgement = ack-nhfb, articleno = "187", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Moller:2020:EAO, author = "Anders M{\o}ller and Oskar Haarklou Veileborg", title = "Eliminating abstraction overhead of {Java} stream pipelines using ahead-of-time program optimization", journal = j-PACMPL, volume = "4", number = "OOPSLA", pages = "168:1--168:29", month = nov, year = "2020", DOI = "https://doi.org/10.1145/3428236", bibdate = "Tue Mar 30 08:10:50 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3428236", abstract = "Java 8 introduced streams that allow developers to work with collections of data using functional-style operations. Streams are often used in pipelines of operations for processing the data elements, which leads to concise and elegant program code. \ldots{}", acknowledgement = ack-nhfb, articleno = "168", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Nie:2020:UEI, author = "Pengyu Nie and Marinela Parovic and Zhiqiang Zang and Sarfraz Khurshid and Aleksandar Milicevic and Milos Gligoric", title = "Unifying execution of imperative generators and declarative specifications", journal = j-PACMPL, volume = "4", number = "OOPSLA", pages = "217:1--217:26", month = nov, year = "2020", DOI = "https://doi.org/10.1145/3428285", bibdate = "Tue Mar 30 08:10:50 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3428285", abstract = "We present Deuterium---a framework for implementing Java methods as executable contracts. Deuterium introduces a novel, type-safe way to write method contracts entirely in Java, as a combination of imperative generators and declarative specifications \ldots{}", acknowledgement = ack-nhfb, articleno = "217", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Ortin:2020:HTS, author = "Francisco Ortin and Oscar Rodriguez-Prieto and Nicolas Pascual and Miguel Garcia", title = "Heterogeneous tree structure classification to label {Java} programmers according to their expertise level", journal = j-FUT-GEN-COMP-SYS, volume = "105", number = "??", pages = "380--394", month = apr, year = "2020", CODEN = "FGSEVI", DOI = "https://doi.org/10.1016/j.future.2019.12.016", ISSN = "0167-739X (print), 1872-7115 (electronic)", ISSN-L = "0167-739X", bibdate = "Mon Feb 10 12:55:07 MST 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/futgencompsys.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167739X1931516X", acknowledgement = ack-nhfb, fjournal = "Future Generation Computer Systems", journal-URL = "http://www.sciencedirect.com/science/journal/0167739X", }
@Article{Perez:2020:OPN, author = "Taciano D. Perez and Marcelo V. Neves and Diego Medaglia and Pedro H. G. Monteiro and C{'e}sar A. F. {De Rose}", title = "Orthogonal persistence in nonvolatile memory architectures: a persistent heap design and its implementation for a {Java Virtual Machine}", journal = j-SPE, volume = "50", number = "4", pages = "368--387", month = apr, year = "2020", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.2781", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Fri Aug 14 11:05:22 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib; https://www.math.utah.edu/pub/tex/bib/virtual-machines.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "17 December 2019", }
@Article{Pinheiro:2020:MCA, author = "Pedro Pinheiro and Jos{'e} Carlos Viana and M{'a}rcio Ribeiro and Leo Fernandes and Fabiano Ferrari and Rohit Gheyi and Baldoino Fonseca", title = "Mutating code annotations: an empirical evaluation on {Java} and {C#} programs", journal = j-SCI-COMPUT-PROGRAM, volume = "191", number = "??", pages = "??--??", day = "1", month = jun, year = "2020", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2020.102418", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed May 26 13:33:20 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/csharp.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642320300290", acknowledgement = ack-nhfb, articleno = "102418", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Robillard:2020:LLW, author = "M. P. Robillard and K. Kutschera", title = "Lessons Learned While Migrating From {Swing} to {JavaFX}", journal = j-IEEE-SOFTWARE, volume = "37", number = "3", pages = "78--85", month = may # "\slash " # jun, year = "2020", CODEN = "IESOEG", ISSN = "0740-7459 (print), 1937-4194 (electronic)", ISSN-L = "0740-7459", bibdate = "Wed Jun 3 14:56:06 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Software", journal-URL = "http://www.computer.org/portal/web/csdl/magazines/software", }
@InProceedings{Romano:2020:WVT, author = "A. Romano and W. Wang", booktitle = "{2020 IEEE\slash ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)}", title = "{WasmView}: Visual Testing for {WebAssembly} Applications", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "13--16", year = "2020", bibdate = "Thu Apr 8 06:41:17 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/rust.bib", URL = "https://ieeexplore.ieee.org/document/9270402", abstract = "WebAssembly is the newest language to arrive on the web. It features a binary code format to serve as a compilation target for native languages such as C, C++, and Rust and allows native applications to be ported for web usage. In the current implementation, WebAssembly requires interaction with JavaScript at a minimum to initialize and additionally to interact with Web APIs. As a result, understanding the function calls between WebAssembly and JavaScript is crucial for testing, debugging, and maintaining applications utilizing this new language. To this end, we develop a tool, WasmView, to visualize function calls made between WebAssembly and JavaScript in a web application. WasmView also records the stack traces and screenshots of applications. This tool can help in supporting visual testing for interactive applications and assisting refactoring for code updates. The demo video for WasmView can be viewed at https://youtu.be/kjKxL7L7zxI and the source code can be found at https://github.com/wasmview/wasmview.github.io.", acknowledgement = ack-nhfb, keywords = "Rust programming language", }
@Article{Thome:2020:IAE, author = "J. Thom{'e} and L. K. Shar and D. Bianculli and L. Briand", title = "An Integrated Approach for Effective Injection Vulnerability Analysis of {Web} Applications Through Security Slicing and Hybrid Constraint Solving", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "46", number = "2", pages = "163--195", month = feb, year = "2020", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2018.2844343", ISSN = "2326-3881", ISSN-L = "0098-5589", bibdate = "Thu Mar 05 14:23:20 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Benchmark testing; constraint solving; Explosions; Java; Reliability; search-based software engineering; Security; static analysis; Static analysis; Tools; Vulnerability detection", }
@Article{Tomasdottir:2020:AJL, author = "K. F. T{'o}masd{'o}ttir and M. Aniche and A. {Van Deursen}", title = "The Adoption of {JavaScript} Linters in Practice: A Case Study on {ESLint}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "46", number = "8", pages = "863--891", year = "2020", CODEN = "IESEDJ", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Sep 17 07:36:32 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Trautsch:2020:UIT, author = "Fabian Trautsch and Steffen Herbold and Jens Grabowski", title = "Are unit and integration test definitions still valid for modern {Java} projects? {An} empirical study on open-source projects", journal = j-J-SYST-SOFTW, volume = "159", number = "??", pages = "??--??", month = jan, year = "2020", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2019.110421", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Mon May 24 20:13:50 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121219301955", acknowledgement = ack-nhfb, articleno = "110421", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Wirfs-Brock:2020:JFY, author = "Allen Wirfs-Brock and Brendan Eich", title = "{JavaScript}: the first 20 years", journal = j-PACMPL, volume = "4", number = "HOPL", pages = "77:1--77:189", month = jun, year = "2020", DOI = "https://doi.org/10.1145/3386327", bibdate = "Fri Aug 7 17:39:13 MDT 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/abs/10.1145/3386327", abstract = "How a sidekick scripting language for Java, created at Netscape in a ten-day hack, ships first as a de facto Web standard and eventually becomes the world's most widely used programming language. This paper tells the story of the creation, design, evolution, and standardization of the JavaScript language over the period of 1995--2015. But the story is not only about the technical details of the language. It is also the story of how people and organizations competed and collaborated to shape the JavaScript language which dominates the Web of 2020.", acknowledgement = ack-nhfb, articleno = "77", fjournal = "Proceedings of the ACM on Programming Languages", journal-URL = "https://pacmpl.acm.org/", }
@Article{Yuan:2020:AAR, author = "Y. Yuan and W. Banzhaf", title = "{ARJA}: Automated Repair of {Java} Programs via Multi-Objective Genetic Programming", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "46", number = "10", pages = "1040--1067", month = oct, year = "2020", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2018.2874648", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Dec 18 09:01:37 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Zhou:2020:ADR, author = "Y. Zhou and C. Wang and X. Yan and T. Chen and S. Panichella and H. Gall", title = "Automatic Detection and Repair Recommendation of Directive Defects in {Java API} Documentation", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "46", number = "9", pages = "1004--1023", month = sep, year = "2020", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2018.2872971", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Dec 18 09:01:37 2020", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Zhuo:2020:TEP, author = "Xilong Zhuo and Chenyi Zhang", title = "{TFA}: an efficient and precise virtual method call resolution for {Java}", journal = j-FORM-ASP-COMPUT, volume = "32", number = "4--6", pages = "395--416", month = nov, year = "2020", CODEN = "FACME5", DOI = "https://doi.org/10.1007/s00165-020-00518-z", ISSN = "0934-5043 (print), 1433-299X (electronic)", ISSN-L = "0934-5043", bibdate = "Tue Mar 30 14:36:49 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/formaspcomput.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s00165-020-00518-z", acknowledgement = ack-nhfb, fjournal = "Formal Aspects of Computing", journal-URL = "http://link.springer.com/journal/165", online-date = "Published: 06 October 2020 Pages: 395 - 416", }
@Article{Ciomek:2021:PJL, author = "Krzysztof Ciomek and Mi{\l}osz Kadzi{'n}ski", title = "\pkg{Polyrun}: a {Java} library for sampling from the bounded convex polytopes", journal = j-SOFTWAREX, volume = "13", number = "??", pages = "Article 100659", month = jan, year = "2021", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2021.100659", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Fri Apr 30 07:51:12 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711021000042", acknowledgement = ack-nhfb, fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Misc{Darcy:2021:FPA, author = "Joseph D. Darcy", title = "Floating-Point Arithmetic: What Every {Java} Programmer Should Know!", howpublished = "Web site 29m37s video.", year = "2021", bibdate = "Tue Feb 27 11:53:09 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://youtu.be/ajaHQ9S4uTA", acknowledgement = ack-nhfb, }
@Article{Hermans:2021:TTE, author = "Felienne Hermans", title = "Two Things Every {Java} Developer Should Know", journal = j-IEEE-SOFTWARE, volume = "38", number = "6", pages = "110--112", month = nov # "\slash " # dec, year = "2021", CODEN = "IESOEG", DOI = "https://doi.org/10.1109/MS.2021.3105875", ISSN = "0740-7459 (print), 1937-4194 (electronic)", ISSN-L = "0740-7459", bibdate = "Thu Apr 7 14:13:47 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Software", journal-URL = "http://www.computer.org/portal/web/csdl/magazines/software", }
@Article{Huang:2021:JMJ, author = "Yunhua Huang and Tao Li and Lijia Zhang and Beibei Li and Xiaojie Liu", title = "{JSContana}: Malicious {JavaScript} detection using adaptable context analysis and key feature extraction", journal = j-COMPUT-SECUR, volume = "104", number = "??", pages = "Article 102218", month = may, year = "2021", CODEN = "CPSEDU", DOI = "https://doi.org/10.1016/j.cose.2021.102218", ISSN = "0167-4048 (print), 1872-6208 (electronic)", ISSN-L = "0167-4048", bibdate = "Wed Mar 10 08:25:10 MST 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167404821000420", acknowledgement = ack-nhfb, fjournal = "Computers & Security", journal-URL = "http://www.sciencedirect.com/science/journal/01674048", }
@Article{Jung:2021:TPI, author = "Kumseok Jung and Julien Gascon-Samson and Shivanshu Goyal and Armin Rezaiean-Asel and Karthik Pattabiraman", title = "{ThingsMigrate}: Platform-independent migration of stateful {JavaScript Internet of Things} applications", journal = j-SPE, volume = "51", number = "1", pages = "117--155", month = jan, year = "2021", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.2936", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Fri Feb 26 08:59:24 MST 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "05 December 2020", }
@Article{Liu:2021:SDC, author = "Lun Liu and Todd Millstein and Madanlal Musuvathi", title = "Safe-by-default Concurrency for Modern Programming Languages", journal = j-TOPLAS, volume = "43", number = "3", pages = "10:1--10:50", month = sep, year = "2021", CODEN = "ATPSDT", DOI = "https://doi.org/10.1145/3462206", ISSN = "0164-0925 (print), 1558-4593 (electronic)", ISSN-L = "0164-0925", bibdate = "Tue Sep 14 07:20:02 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/julia.bib; https://www.math.utah.edu/pub/tex/bib/toplas.bib", URL = "https://dl.acm.org/doi/10.1145/3462206", abstract = "Modern ``safe'' programming languages follow a design principle that we call safety by default and performance by choice. By default, these languages enforce important programming abstractions, such as memory and type safety, but they also provide mechanisms that allow expert programmers to explicitly trade some safety guarantees for increased performance. However, these same languages have adopted the inverse design principle in their support for multithreading. By default, multithreaded programs violate important abstractions, such as program order and atomic access to individual memory locations to admit compiler and hardware optimizations that would otherwise need to be restricted. Not only does this approach conflict with the design philosophy of safe languages, but very little is known about the practical performance cost of providing a stronger default semantics.
In this article, we propose a safe-by-default and
performance-by-choice multithreading semantics for safe
languages, which we call volatile-by-default. Under
this semantics, programs have sequential consistency
(SC) by default, which is the natural ``interleaving''
semantics of threads. However, the volatile-by-default
design also includes annotations that allow expert
programmers to avoid the associated overheads in
performance-critical code. We describe the design,
implementation, optimization, and evaluation of the
volatile-by-default semantics for two different safe
languages: Java and Julia. First, we present
VBD-HotSpot and VBDA-HotSpot, modifications of Oracle's
HotSpot JVM that enforce the volatile-by-default
semantics on Intel x86-64 hardware and ARM-v8 hardware.
Second, we present SC-Julia, a modification to the
just-in-time compiler within the standard Julia
implementation that provides best-effort enforcement of
the volatile-by-default semantics on x86-64 hardware
for the purpose of performance evaluation. We also
detail two different implementation techniques: a
baseline approach that simply reuses existing
mechanisms in the compilers for handling atomic
accesses, and a speculative approach that avoids the
overhead of enforcing the volatile-by-default semantics
until there is the possibility of an SC violation. Our
results show that the cost of enforcing SC is
significant but arguably still acceptable for some use
cases today. Further, we demonstrate that compiler
optimizations as well as programmer annotations can
reduce the overhead considerably.",
acknowledgement = ack-nhfb, articleno = "10", fjournal = "ACM Transactions on Programming Languages and Systems", journal-URL = "https://dl.acm.org/loi/toplas", }
@Article{Moraes:2021:OHM, author = "Jo{~a}o Pedro Moraes and Ivanilton Polato and Igor Wiese and Filipe Saraiva and Gustavo Pinto", title = "From one to hundreds: multi-licensing in the {JavaScript} ecosystem", journal = j-EMPIR-SOFTWARE-ENG, volume = "26", number = "3", pages = "??--??", month = may, year = "2021", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-020-09936-2", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Tue Mar 30 15:09:48 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://link.springer.com/article/10.1007/s10664-020-09936-2", acknowledgement = ack-nhfb, articleno = "39", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Moseler:2021:DFC, author = "Oliver Moseler and Felix Lemmer and Sebastian Baltes and Stephan Diehl", title = "On the diversity and frequency of code related to mathematical formulas in real-world {Java} projects", journal = j-J-SYST-SOFTW, volume = "172", number = "??", pages = "??--??", month = feb, year = "2021", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2020.110863", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Mon May 24 20:13:55 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121220302533", acknowledgement = ack-nhfb, articleno = "110863", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Murawski:2021:GSI, author = "Andrzej S. Murawski and Nikos Tzevelekos", title = "Game Semantics for Interface Middleweight {Java}", journal = j-J-ACM, volume = "68", number = "1", pages = "4:1--4:51", month = feb, year = "2021", CODEN = "JACOAH", DOI = "https://doi.org/10.1145/3428676", ISSN = "0004-5411 (print), 1557-735X (electronic)", ISSN-L = "0004-5411", bibdate = "Tue Feb 23 11:03:25 MST 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/jacm.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://dl.acm.org/doi/10.1145/3428676", abstract = "We consider an object calculus in which open terms interact with the environment through interfaces. The calculus is intended to capture the essence of contextual interactions of Middleweight Java code. Using game semantics, we provide fully abstract \ldots{}", acknowledgement = ack-nhfb, articleno = "4", fjournal = "Journal of the ACM", journal-URL = "https://dl.acm.org/loi/jacm", }
@Article{Ntantogian:2021:NNJ, author = "Christoforos Ntantogian and Panagiotis Bountakas and Dimitris Antonaropoulos and Constantinos Patsakis and Christos Xenakis", title = "{NodeXP}: {NOde.js} server-side {JavaScript} injection vulnerability {DEtection} and {eXPloitation}", journal = j-J-INFO-SEC-APPL, volume = "58", number = "??", pages = "??--??", month = may, year = "2021", CODEN = "????", DOI = "https://doi.org/10.1016/j.jisa.2021.102752", ISSN = "2214-2126", ISSN-L = "2214-2126", bibdate = "Sun May 8 11:59:35 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jinfosecappl.bib", URL = "http://www.sciencedirect.com/science/article/pii/S221421262100003X", acknowledgement = ack-nhfb, ajournal = "J. Info. Sec. Appl.", articleno = "102752", fjournal = "Journal of Information Security and Applications (JISA)", journal-URL = "http://www.sciencedirect.com/science/journal/22142126", }
@Article{P:2021:FSM, author = "Jevitha K. P. and Swaminathan Jayaraman and Bharat Jayaraman and Sethumadhavan M", title = "Finite-state model extraction and visualization from {Java} program execution", journal = j-SPE, volume = "51", number = "2", pages = "409--437", month = feb, year = "2021", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.2910", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Fri Feb 26 08:59:24 MST 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "11 October 2020", }
@Article{Shimari:2021:NNO, author = "Kazumasa Shimari and Takashi Ishio and Tetsuya Kanda and Naoto Ishida and Katsuro Inoue", title = "{NOD4J}: Near-omniscient debugging tool for {Java} using size-limited execution trace", journal = j-SCI-COMPUT-PROGRAM, volume = "206", number = "??", pages = "??--??", day = "1", month = jun, year = "2021", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2021.102630", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed May 26 13:33:26 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S016764232100023X", acknowledgement = ack-nhfb, articleno = "102630", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Sultana:2021:USM, author = "Kazi Zakia Sultana and Vaibhav Anu and Tai-Yin Chong", title = "Using software metrics for predicting vulnerable classes and methods in {Java} projects: a machine learning approach", journal = j-J-SOFTW-EVOL-PROC, volume = "33", number = "3", pages = "e2303:1--e2303:??", month = mar, year = "2021", CODEN = "????", DOI = "https://doi.org/10.1002/smr.2303", ISSN = "2047-7473 (print), 2047-7481 (electronic)", ISSN-L = "2047-7473", bibdate = "Mon May 17 08:20:32 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib", acknowledgement = ack-nhfb, ajournal = "", fjournal = "Journal of Software: Evolution and Process", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481", onlinedate = "07 August 2020", }
@Article{Yu:2021:CUE, author = "Zhongxing Yu and Chenggang Bai and Lionel Seinturier and Martin Monperrus", title = "Characterizing the Usage, Evolution and Impact of {Java} Annotations in Practice", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "47", number = "5", pages = "969--986", year = "2021", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2019.2910516", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu May 20 08:34:04 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Zerouali:2021:UJP, author = "Ahmed Zerouali and Tom Mens and Coen {De Roover}", title = "On the usage of {\em {JavaScript}}, {{\em Python}} and {{\em Ruby}} packages in {Docker Hub} images", journal = j-SCI-COMPUT-PROGRAM, volume = "207", number = "??", pages = "??--??", day = "1", month = jul, year = "2021", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2021.102653", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed May 26 13:33:26 MDT 2021", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642321000460", acknowledgement = ack-nhfb, articleno = "102653", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Alazab:2022:DOM, author = "Ammar Alazab and Ansam Khraisat and Moutaz Alazab and Sarabjot Singh", title = "Detection of Obfuscated Malicious {JavaScript} Code", journal = j-FUTURE-INTERNET, volume = "14", number = "8", pages = "217", day = "22", month = jul, year = "2022", CODEN = "????", DOI = "https://doi.org/10.3390/fi14080217", ISSN = "1999-5903", bibdate = "Fri Sep 2 12:13:30 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.mdpi.com/1999-5903/14/8/217", abstract = "Websites on the Internet are becoming increasingly vulnerable to malicious JavaScript code because of its strong impact and dramatic effect. Numerous recent cyberattacks use JavaScript vulnerabilities, and in some cases employ obfuscation to conceal their malice and elude detection. To secure Internet users, an adequate intrusion-detection system (IDS) for malicious JavaScript must be developed. This paper proposes an automatic IDS of obfuscated JavaScript that employs several features and machine-learning techniques that effectively distinguish malicious and benign JavaScript codes. We also present a new set of features, which can detect obfuscation in JavaScript. The features are selected based on identifying obfuscation, a popular method to bypass conventional malware detection systems. The performance of the suggested approach has been tested on JavaScript obfuscation attacks. The studies have shown that IDS based on selected features has a detection rate of 94% for malicious samples and 81% for benign samples within the dimension of the feature vector of 60.", acknowledgement = ack-nhfb, journal-URL = "https://www.mdpi.com/journal/futureinternet", }
@Article{Amalfitano:2022:HDJ, author = "Domenico Amalfitano and Ana C. R. Paiva and Alexis Inquel and Lu{'\i}s Pinto and Anna Rita Fasolino and Ren{'e} Just", title = "How do {Java} mutation tools differ?", journal = j-CACM, volume = "65", number = "12", pages = "74--89", month = dec, year = "2022", CODEN = "CACMA2", DOI = "https://doi.org/10.1145/3526099", ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Thu Dec 8 15:33:46 MST 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/cacm2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://dl.acm.org/doi/10.1145/3526099", abstract = "A framework for aiding future Java mutation tool comparisons.", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "https://dl.acm.org/loi/cacm", }
@Article{Bacchiani:2022:JTC, author = "Lorenzo Bacchiani and Mario Bravetti and Marco Giunti and Jo{~a}o Mota and Ant{'o}nio Ravara", title = "A {Java} typestate checker supporting inheritance", journal = j-SCI-COMPUT-PROGRAM, volume = "221", number = "??", pages = "??--??", day = "1", month = sep, year = "2022", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2022.102844", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed Aug 3 07:49:11 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642322000776", acknowledgement = ack-nhfb, articleno = "102844", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Bierhoff:2022:WNW, author = "Kevin Bierhoff", title = "Wildcards need witness protection", journal = j-PACMPL, volume = "6", number = "OOPSLA2", pages = "138:1--138:??", month = oct, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3563301", ISSN = "2475-1421 (electronic)", ISSN-L = "2475-1421", bibdate = "Sat Mar 11 09:08:36 MST 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3563301", abstract = "In this paper, we show that the unsoundness discovered by Amin and Tate (2016) in Java's wildcards is avoidable, even in the absence of a nullness-aware type system. \ldots{}", acknowledgement = ack-nhfb, articleno = "138", fjournal = "Proceedings of the ACM on Programming Languages (PACMPL)", journal-URL = "https://dl.acm.org/loi/pacmpl", }
@Article{Bijlsma:2022:EDP, author = "Lex A. Bijlsma and Arjan J. F. Kok and Harrie J. M. Passier and Harold J. Pootjes and Sylvia Stuurman", title = "Evaluation of design pattern alternatives in {Java}", journal = j-SPE, volume = "52", number = "5", pages = "1305--1315", month = may, year = "2022", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.3061", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Tue Feb 28 12:16:31 MST 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "31 December 2021", }
@Article{Chaqfeh:2022:JWD, author = "Moumena Chaqfeh and Russell Coke and Jacinta Hu and Waleed Hashmi and Lakshmi Subramanian and Talal Rahwan and Yasir Zaki", title = "\pkg{JSAnalyzer}: a {Web} Developer Tool for Simplifying Mobile {Web} Pages through Non-critical {JavaScript} Elimination", journal = j-TWEB, volume = "16", number = "4", pages = "17:1--17:??", month = nov, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3550358", ISSN = "1559-1131 (print), 1559-114X (electronic)", ISSN-L = "1559-1131", bibdate = "Fri Dec 9 06:51:15 MST 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tweb.bib", URL = "https://dl.acm.org/doi/10.1145/3550358", abstract = "The amount of JavaScript used in web pages has substantially grown in the past decade, leading to large and complex pages that are computationally intensive for handheld mobile devices. Due to the increasing usage of these devices to access today's web, \ldots{}", acknowledgement = ack-nhfb, articleno = "17", fjournal = "ACM Transactions on the Web (TWEB)", journal-URL = "https://dl.acm.org/loi/tweb", }
@Article{Chen:2022:SSC, author = "Taolue Chen and Alejandro Flores-Lamas and Matthew Hague and Zhilei Han and Denghang Hu and Shuanglong Kan and Anthony W. Lin and Philipp R{"u}mmer and Zhilin Wu", title = "Solving string constraints with Regex-dependent functions through transducers with priorities and variables", journal = j-PACMPL, volume = "6", number = "POPL", pages = "45:1--45:31", month = jan, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3498707", ISSN = "2475-1421 (electronic)", ISSN-L = "2475-1421", bibdate = "Thu May 26 06:32:48 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib; https://www.math.utah.edu/pub/tex/bib/string-matching.bib", URL = "https://dl.acm.org/doi/10.1145/3498707", abstract = "Regular expressions are a classical concept in formal language theory. Regular expressions in programming languages (RegEx) such as JavaScript, feature non-standard semantics of operators (e.g. greedy/lazy Kleene star), as well as additional features \ldots{}", acknowledgement = ack-nhfb, articleno = "45", fjournal = "Proceedings of the ACM on Programming Languages (PACMPL)", journal-URL = "https://dl.acm.org/loi/pacmpl", }
@Article{Chowdhury:2022:UTP, author = "Md Atique Reza Chowdhury and Rabe Abdalkareem and Emad Shihab and Bram Adams", title = "On the Untriviality of Trivial Packages: an Empirical Study of npm {JavaScript} Packages", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "48", number = "8", pages = "2695--2708", month = aug, year = "2022", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2021.3068901", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Sep 22 07:51:46 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/gnu.bib; https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Node Package Manager (npm); Python Package Index (PyPI)", }
@Article{Cobbs:2022:PPW, author = "Archie L. Cobbs", title = "Persistence Programming: Are we doing this right?", journal = j-QUEUE, volume = "20", number = "1", pages = "24--39", month = jan, year = "2022", CODEN = "AQCUAE", DOI = "https://doi.org/10.1145/3526210", ISSN = "1542-7730 (print), 1542-7749 (electronic)", ISSN-L = "1542-7730", bibdate = "Wed Apr 20 08:20:07 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/queue.bib", URL = "https://dl.acm.org/doi/10.1145/3526210", abstract = "A few years ago, my team was working on a commercial Java development project for Enhanced 911 (E911) emergency call centers. We were frustrated by trying to meet the data-storage requirements of this project using the traditional model of Java over an SQL database. After some reflection about the particular requirements (and nonrequirements) of the project, we took a deep breath and decided to create our own custom persistence layer from scratch.", acknowledgement = ack-nhfb, fjournal = "ACM Queue: Tomorrow's Computing Today", journal-URL = "https://dl.acm.org/loi/queue", }
@Article{DaSilva:2022:BCW, author = "L{'e}uson {Da Silva} and Paulo Borba and Arthur Pires", title = "Build conflicts in the wild", journal = j-J-SOFTW-EVOL-PROC, volume = "34", number = "4", pages = "e2441:1--e2441:??", month = apr, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1002/smr.2441", ISSN = "2047-7473 (print), 2047-7481 (electronic)", ISSN-L = "2047-7473", bibdate = "Wed Apr 13 09:42:14 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib", acknowledgement = ack-nhfb, ajournal = "J. Softw. Evol. Proc.", fjournal = "Journal of Software: Evolution and Process", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481", keywords = "open-source projects in Java", onlinedate = "07 March 2022", }
@Article{Fang:2022:JMJ, author = "Yong Fang and Chaoyi Huang and Minchuan Zeng and Zhiying Zhao and Cheng Huang", title = "{JStrong}: Malicious {JavaScript} detection based on code semantic representation and graph neural network", journal = j-COMPUT-SECUR, volume = "118", number = "??", pages = "Article 102715", month = jul, year = "2022", CODEN = "CPSEDU", DOI = "https://doi.org/10.1016/j.cose.2022.102715", ISSN = "0167-4048 (print), 1872-6208 (electronic)", ISSN-L = "0167-4048", bibdate = "Mon May 23 10:57:57 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167404822001110", acknowledgement = ack-nhfb, fjournal = "Computers & Security", journal-URL = "http://www.sciencedirect.com/science/journal/01674048", }
@Book{Feigenbaum:2022:GJP, author = "Barry Feigenbaum", title = "{Go} for {Java} Programmers Learn the {Google Go} Programming Language", publisher = pub-APRESS, address = pub-APRESS:adr, pages = "xxxv + 582 + 61 + 1", year = "2022", DOI = "https://doi.org/10.1007/978-1-4842-7199-5", ISBN = "1-4842-7199-8", ISBN-13 = "978-1-4842-7199-5", LCCN = "QA76.73.G63 F45 2022", bibdate = "Wed Feb 16 12:54:41 MST 2022", bibsource = "fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/go.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", abstract = "Get an in-depth introduction to the Go programming language and its associated standard runtime libraries. This book is targeted towards programmers that already know the Java programming language and uses that Java knowledge to direct the learning of Go. You will get a deep understanding of the Go language and obtain a good introduction to the extensive Go standard libraries. This book teaches Go through clear descriptions of Go features, contrasting them with similar Java features and via providing extensive code examples. After reading this book you will be knowledgeable enough about Go and its libraries to begin doing effective programming using the Go language. Go for Java Programmers is structured more like a tutorial than a reference document. It covers key features of Go, but not every little detail as a reference might. Its goal is to get you competent enough in Go and its runtime that you can begin to effectively write Go programs. What You Will Learn Examine the key Go Runtime libraries and how they compare to Java libraries See when it is appropriate to use the Go language instead of the Java language Read and understand programs written in Go Write many programs in Go Determine when Go is an appropriate language to develop applications in Discover how the Go and Java languages and development experience compare and contrast Who This Book Is For Primarily existing professional Java programmers or students that already know something about Java. A basic understanding of Java is expected. Some basic programming experience with imperative languages is expected.", acknowledgement = ack-nhfb, subject = "Go (Computer program language); Java (Computer program language)", tableofcontents = "Intro \ Table of Contents \ About the Author \ About the Technical Reviewer \ Acknowledgments \ Introduction \ Assessments \ Part I: First Look at Go \ 1: A Brief Look at Go vs. Java \ Go Is a Compiled (vs. Interpreted, As Java Is) Language \ Go and Java Share Similar Program Structure \ Go and Java Have Some Code Style Differences That Influence How Code Is Structured \ Both Go and Java Are Procedural Languages \ Java Is an Object-Oriented (OO) Language, While Go Is Not Fully OO \ Java Is a Highly Functional Language, Go Is Less So \ Java Is a Highly Declarative Language, Go Is Less So \ Many Java Features Are Annotation Driven \ Go Does Not Support Exceptions \ Both Java and Go Use Managed Memory (Garbage Collectors) \ Go and Java Both Support Concurrency but in Different Ways \ Go's Runtime Is Simpler Than the JRE \ The Go Program Build Process Is Different \ Go and Java Have Similar Release Cycles \ 2: What Java Has That Go Does Not \ Multiple Assignments \ Statements and Operators \ Assert Statement \ While and Do Statements \ Throw Statement/Throws Clause \ Strictfp, transient, volatile, synchronized, abstract, static \ Objects and Classes (OOP) and Inner Classes, Lambdas, this, super, Explicit Constructors \ Generic Types and Methods \ Extensive Functional Programming Capabilities \ Boxing of Primitive Values \ Source Annotations \ Multiple Visibilities \ Overloaded/Overridden Functions \ Formal Enums \ Built-in Binary Data Self-Serialization \ Concurrent Collections \ 3: A Deeper Comparison of Go and Java \ Part II: The Go Language \ 4: Key Go Aspects \ Simple Go Program Example \ Go Packages \ Go Comments \ Go Build/Run Process \ Go Playground \ Go Integrated Development Environments \ Running Go Programs \ Building Go Programs \ Bytecode vs. Real Code \ Go Command-Line Tools \ Tools Bundled in the Go Command \ Other Tools \ Go Runs Programs Instead of Classes \ Go Memory Management \ Go Identifiers \ Go Scopes \ Go Scopes vs. Go Source Files \ Initializing Go Variables \ Lifetimes of Go Identifiers \ Go Module Summary \ Go Assignments and Expressions \ Text Formatting in Go \ Goroutines \ Issues with Concurrency \ Go Concurrency \ Goroutines by Example \ 5: Go Basic Features \ Language Keywords \ Operators and Punctuation \ Go Operator Precedence \ Go Built-in Functions \ 6: Go Types \ Primitive/Built-in Types \ Numbers \ Characters and Strings \ Reference vs. Pointer Types \ Drill Down on Basic Data Types \ Boolean Type \ Integer Types \ Floating-Point Types \ When nil Can Go Wrong \ Programmer-Defined Types \ Arrays \ Slices \ Maps \ Functions \ Methods As Functions \ Any Declared Type Can Have Custom Functions \ Functions As Values \ Structs \ Structure Fields \ Structure Literals \ Nested Structures", }
@Article{Ferreira:2022:AJF, author = "Fabio Ferreira and Hudson Silva Borges and Marco Tulio Valente", title = "On the (un-)adoption of {JavaScript} front-end frameworks", journal = j-SPE, volume = "52", number = "4", pages = "947--966", month = apr, year = "2022", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.3044", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Fri Apr 1 16:34:33 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "18 October 2021", }
@Article{Hartley:2022:JTC, author = "Tim Hartley and Foivos S. Zakkak and Andy Nisbet and Christos Kotselidis and Mikel Luj{'a}n", title = "Just-In-Time Compilation on {ARM} --- a Closer Look at Call-Site Code Consistency", journal = j-TACO, volume = "19", number = "4", pages = "54:1--54:??", month = dec, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3546568", ISSN = "1544-3566 (print), 1544-3973 (electronic)", ISSN-L = "1544-3566", bibdate = "Thu Dec 8 06:39:05 MST 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/taco.bib", URL = "https://dl.acm.org/doi/10.1145/3546568", abstract = "The increase in computational capability of low-power Arm architectures has seen them diversify from their more traditional domain of portable battery powered devices into data center servers, personal computers, and even Supercomputers. Thus, managed languages (Java, Javascript, etc.) that require a managed runtime environment (MRE) need to be ported to the Arm architecture, requiring an understanding of different design tradeoffs.
This article studies how the lack of strong hardware
support for Self Modifying Code (SMC) in low-power
architectures (e.g., absence of cache coherence between
instruction cache and data caches), affects
Just-In-Time (JIT) compilation and runtime behavior in
MREs. Specifically, we focus on the implementation and
treatment of call-sites, that must maintain code
consistency in the face of concurrent execution and
modification to redirect control (patching) by the MRE.
The lack of coherence, is compounded with the maximum
distance (reach of) a call-site can jump to as the
reach is more constrained (smaller distance) in Arm
when compared with Intel/AMD. We present four different
robust implementations for call-sites and discuss their
advantages and disadvantages in the absence of strong
hardware support for SMC. Finally, we evaluate each
approach using a microbenchmark, further evaluating the
best three techniques using three JVM benchmark suites
and the open source MaxineVM showcasing performance
differences up to 12\%. Based on these observations, we
propose extending code-cache partitioning strategies
for JIT compiled code to encourage more efficient local
branching for architectures with limited direct branch
ranges.",
acknowledgement = ack-nhfb, articleno = "54", fjournal = "ACM Transactions on Architecture and Code Optimization (TACO)", journal-URL = "https://dl.acm.org/loi/taco", }
@Article{Hoeflich:2022:HIK, author = "Joshua Hoeflich and Robert Bruce Findler and Manuel Serrano", title = "Highly illogical, {Kirk}: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters", journal = j-PACMPL, volume = "6", number = "OOPSLA2", pages = "142:1--142:??", month = oct, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3563305", ISSN = "2475-1421 (electronic)", ISSN-L = "2475-1421", bibdate = "Sat Mar 11 09:08:36 MST 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3563305", abstract = "The DefinitelyTyped repository hosts type declarations for thousands of JavaScript libraries. Given the lack of formal connection between the types and the \ldots{}", acknowledgement = ack-nhfb, articleno = "142", fjournal = "Proceedings of the ACM on Programming Languages (PACMPL)", journal-URL = "https://dl.acm.org/loi/pacmpl", }
@Article{Huang:2022:CUU, author = "Kaifeng Huang and Bihuan Chen and Yang Liu", title = "Characterizing usages, updates and risks of third-party libraries in {Java} projects", journal = j-EMPIR-SOFTWARE-ENG, volume = "27", number = "4", pages = "??--??", month = jul, year = "2022", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-022-10131-8", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Tue Jun 7 16:08:33 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10664-022-10131-8", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Huang:2022:HSA, author = "Zijie Huang and Zhiqing Shao and Guisheng Fan and Huiqun Yu and Kang Yang and Ziyi Zhou", title = "{HBSniff}: a static analysis tool for {Java Hibernate} object-relational mapping code smell detection", journal = j-SCI-COMPUT-PROGRAM, volume = "217", number = "??", pages = "??--??", day = "1", month = may, year = "2022", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2022.102778", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Wed Mar 9 17:23:38 MST 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642322000119", acknowledgement = ack-nhfb, articleno = "102778", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Jafari:2022:DSJ, author = "Abbas Javan Jafari and Diego Elias Costa and Rabe Abdalkareem and Emad Shihab and Nikolaos Tsantalis", title = "Dependency Smells in {JavaScript} Projects", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "48", number = "10", pages = "3790--3807", month = oct, year = "2022", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2021.3106247", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Oct 27 16:05:31 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Kechagia:2022:EAP, author = "Maria Kechagia and Sergey Mechtaev and Federica Sarro and Mark Harman", title = "Evaluating Automatic Program Repair Capabilities to Repair {API} Misuses", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "48", number = "7", pages = "2658--2679", month = jul, year = "2022", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2021.3067156", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Jul 21 10:20:56 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Liu:2022:SFI, author = "Bozhen Liu and Jeff Huang", title = "{SHARP}: fast incremental context-sensitive pointer analysis for {Java}", journal = j-PACMPL, volume = "6", number = "OOPSLA1", pages = "88:1--88:28", month = apr, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3527332", ISSN = "2475-1421 (electronic)", ISSN-L = "2475-1421", bibdate = "Thu May 26 06:32:46 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3527332", abstract = "We present SHARP, an incremental context-sensitive pointer analysis algorithm that scales to real-world large complex Java programs and can also be efficiently parallelized. To our knowledge, SHARP is the first algorithm to tackle context-sensitivity in \ldots{}", acknowledgement = ack-nhfb, articleno = "88", fjournal = "Proceedings of the ACM on Programming Languages (PACMPL)", journal-URL = "https://dl.acm.org/loi/pacmpl", }
@Article{Mariano:2022:ATI, author = "Benjamin Mariano and Yanju Chen and Yu Feng and Greg Durrett and Isil Dillig", title = "Automated transpilation of imperative to functional code using neural-guided program synthesis", journal = j-PACMPL, volume = "6", number = "OOPSLA1", pages = "71:1--71:27", month = apr, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3527315", ISSN = "2475-1421 (electronic)", ISSN-L = "2475-1421", bibdate = "Thu May 26 06:32:46 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3527315", abstract = "While many mainstream languages such as Java, Python, and C# increasingly incorporate functional APIs to simplify programming and improve parallelization/performance, there are no effective techniques that can be used to automatically translate existing \ldots{}", acknowledgement = ack-nhfb, articleno = "71", fjournal = "Proceedings of the ACM on Programming Languages (PACMPL)", journal-URL = "https://dl.acm.org/loi/pacmpl", }
@Article{Martinez:2022:WDD, author = "Matias Martinez and Bruno Gois Mateus", title = "Why Did Developers Migrate {Android} Applications From {Java} to {Kotlin}?", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "48", number = "11", pages = "4521--4534", month = nov, year = "2022", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2021.3120367", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Nov 17 09:56:58 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Nascimento:2022:JAD, author = "Romulo Nascimento and Eduardo Figueiredo and Andre Hora", title = "{JavaScript} {API} Deprecation Landscape: a Survey and Mining Study", journal = j-IEEE-SOFTWARE, volume = "39", number = "3", pages = "96--105", month = may # "\slash " # jun, year = "2022", CODEN = "IESOEG", DOI = "https://doi.org/10.1109/MS.2021.3103134", ISSN = "0740-7459 (print), 1937-4194 (electronic)", ISSN-L = "0740-7459", bibdate = "Tue May 2 07:37:09 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Software", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=52", }
@Article{Ni:2022:JTD, author = "Chao Ni and Xin Xia and David Lo and Xiaohu Yang and Ahmed E. Hassan", title = "Just-In-Time Defect Prediction on {JavaScript} Projects: a Replication Study", journal = j-TOSEM, volume = "31", number = "4", pages = "76:1--76:??", month = oct, year = "2022", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3508479", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Wed Nov 16 08:26:42 MST 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3508479", abstract = "Change-level defect prediction is widely referred to as just-in-time (JIT) defect prediction since it identifies a defect-inducing change at the check-in time, and researchers have proposed many approaches based on the language-independent change-level \ldots{}", acknowledgement = ack-nhfb, articleno = "76", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Nigro:2022:PPK, author = "Libero Nigro", title = "Performance of Parallel {$K$}-Means Algorithms in {Java}", journal = j-ALGORITHMS-BASEL, volume = "15", number = "4", month = apr, year = "2022", CODEN = "ALGOCH", DOI = "https://doi.org/10.3390/a15040117", ISSN = "1999-4893 (electronic)", ISSN-L = "1999-4893", bibdate = "Fri Apr 22 10:29:44 MDT 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/algorithms.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.mdpi.com/1999-4893/15/4/117", acknowledgement = ack-nhfb, articleno = "117", fjournal = "Algorithms (Basel)", journal-URL = "https://www.mdpi.com/journal/algorithms", pagecount = "??", }
@Article{Ramsey:2022:BRR, author = "Norman Ramsey", title = "Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl)", journal = j-PACMPL, volume = "6", number = "ICFP", pages = "90:1--90:??", month = aug, year = "2022", CODEN = "????", DOI = "https://doi.org/10.1145/3547621", ISSN = "2475-1421 (electronic)", ISSN-L = "2475-1421", bibdate = "Sat Mar 11 09:08:35 MST 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3547621", abstract = "In many compilers, control flow is represented using an arbitrary directed graph. But in some interesting target languages, including JavaScript \ldots{}", acknowledgement = ack-nhfb, articleno = "90", fjournal = "Proceedings of the ACM on Programming Languages (PACMPL)", journal-URL = "https://dl.acm.org/loi/pacmpl", }
@Article{Sasikumar:2022:CAD, author = "K. Sasikumar and B. Vijayakumar", title = "Comparative Analysis of Different Data Replication Strategies in Cloud Environment", journal = j-INT-J-IMAGE-GRAPHICS, volume = "22", number = "05", pages = "??--??", month = oct, year = "2022", DOI = "https://doi.org/10.1142/S0219467822500425", ISSN = "0219-4678", ISSN-L = "0219-4678", bibdate = "Tue Nov 8 11:46:54 MST 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/ijig.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.worldscientific.com/doi/10.1142/S0219467822500425", abstract = "In this paper, we performed a comparative study of the different data replication strategies such as Adaptive Data Replication Strategy (ADRS), Dynamic Cost Aware Re-Replication and Rebalancing Strategy (DCR2S) and Efficient Placement Algorithm (EPA) in the cloud environment. The implementation of these three techniques is done in JAVA and the performance analysis is conducted to study the performance of those replication techniques by various parameters. The parameters used for the performance analysis of these three techniques are Load Variance, Response Time, Probability of File Availability, System Byte Effective Rate (SBER), Latency, and Fault Ratio. From the analysis, it is evaluated that by varying the number of file replicas, it shows deviations in the outcomes of these parameters. The comparative results were also analyzed.", acknowledgement = ack-nhfb, articleno = "2250042", fjournal = "International Journal of Image and Graphics (IJIG)", journal-URL = "http://www.worldscientific.com/worldscinet/ijig", }
@Article{Turcotte:2022:SDD, author = "Alexi Turcotte and Ellen Arteca and Ashish Mishra and Saba Alimadadi and Frank Tip", title = "{Stubbifier}: debloating dynamic server-side {JavaScript} applications", journal = j-EMPIR-SOFTWARE-ENG, volume = "27", number = "7", pages = "??--??", month = dec, year = "2022", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-022-10195-6", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Tue May 2 16:12:39 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10664-022-10195-6", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", articleno = "161", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Wang:2022:WDC, author = "Ying Wang and Rongxin Wu and Chao Wang and Ming Wen and Yepang Liu and Shing-Chi Cheung and Hai Yu and Chang Xu and Zhiliang Zhu", title = "Will Dependency Conflicts Affect My Program's Semantics?", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "48", number = "7", pages = "2295--2316", month = jul, year = "2022", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2021.3057767", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Jul 21 10:20:56 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Abbasi:2023:CRS, author = "Rosa Abbasi and Jonas Schiffl and Eva Darulova and Mattias Ulbrich and Wolfgang Ahrendt", title = "Combining rule- and {SMT}-based reasoning for verifying floating-point {Java} programs in {KeY}", journal = j-INT-J-SOFTW-TOOLS-TECHNOL-TRANSFER, volume = "25", number = "2", pages = "185--204", month = apr, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1007/s10009-022-00691-x", ISSN = "1433-2779 (print), 1433-2787 (electronic)", ISSN-L = "1433-2779", bibdate = "Sat Jun 3 14:59:07 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/sttt.bib", URL = "https://link.springer.com/article/10.1007/s10009-022-00691-x", abstract = "Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive to reason about due to rounding as well as the presence of the special values infinity and Not a Number (NaN). In this article, we present the first floating-point support in a deductive verification tool for the Java programming language. Our support in the KeY verifier handles floating-point arithmetics, transcendental functions, and potentially rounding-type casts. We achieve this with a combination of delegation to external SMT solvers on the one hand, and KeY-internal, rule-based reasoning on the other hand, exploiting the complementary strengths of both worlds. We evaluate this integration on new benchmarks and show that this approach is powerful enough to prove the absence of floating-point special values --- often a prerequisite for correct programs --- as well as functional properties, for realistic benchmarks.", acknowledgement = ack-nhfb, ajournal = "Int. J. Softw. Tools Technol. Transfer", fjournal = "International Journal on Software Tools for Technology Transfer", journal-URL = "http://link.springer.com/journal/10009", }
@Article{Afrose:2023:ESV, author = "Sharmin Afrose and Ya Xiao and Sazzadur Rahaman and Barton P. Miller and Danfeng Yao", title = "Evaluation of Static Vulnerability Detection Tools With {Java} Cryptographic {API} Benchmarks", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "2", pages = "485--497", month = feb, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2022.3154717", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Feb 18 16:46:58 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Agun:2023:WLR, author = "Hayri Volkan Agun", title = "\pkg{WebCollectives}: a light regular expression based web content extractor in {Java}", journal = j-SOFTWAREX, volume = "24", number = "??", pages = "??--??", month = dec, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2023.101569", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Sat Dec 16 07:45:56 MST 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib; https://www.math.utah.edu/pub/tex/bib/string-matching.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711023002650", acknowledgement = ack-nhfb, articleno = "101569", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Aman:2023:ADC, author = "Hirohisa Aman and Sousuke Amasaki and Tomoyuki Yokogawa and Minoru Kawahara", title = "An automated detection of confusing variable pairs with highly similar compound names in {Java} and {Python} programs", journal = j-EMPIR-SOFTWARE-ENG, volume = "28", number = "5", pages = "??--??", month = sep, year = "2023", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-023-10339-2", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Thu Aug 10 15:49:42 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib", URL = "https://link.springer.com/article/10.1007/s10664-023-10339-2", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", articleno = "108", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Amankwah:2023:BDJ, author = "Richard Amankwah and Jinfu Chen and Heping Song and Patrick Kwaku Kudjo", title = "Bug detection in {Java} code: an extensive evaluation of static analysis tools using {Juliet Test Suites}", journal = j-SPE, volume = "53", number = "5", pages = "1125--1143", month = may, year = "2023", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.3181", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Thu Jun 29 14:46:13 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "29 December 2022", }
@Article{Amato:2023:JJB, author = "Gianluca Amato and Francesca Scozzari", title = "\pkg{JGMP}: {Java} bindings and wrappers for the \pkg{GMP} library", journal = j-SOFTWAREX, volume = "23", number = "??", pages = "??--??", month = jul, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2023.101428", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Thu Oct 5 12:03:02 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001243", acknowledgement = ack-nhfb, articleno = "101428", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Arteca:2023:LHL, author = "Ellen Arteca and Max Sch{"a}fer and Frank Tip", title = "Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven {JavaScript} {APIs}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "1", pages = "166--184", month = jan, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2022.3147975", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Feb 18 16:46:58 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Balliu:2023:CPS, author = "Musard Balliu and Benoit Baudry and Sofia Bobadilla and Mathias Ekstedt and Martin Monperrus and Javier Ron and Aman Sharma and Gabriel Skoglund and C{'e}sar Soto-Valero and Martin Wittlinger", title = "Challenges of Producing Software Bill of Materials for {Java}", journal = j-IEEE-SEC-PRIV, volume = "21", number = "6", pages = "12--23", month = nov # "\slash " # dec, year = "2023", DOI = "https://doi.org/10.1109/MSEC.2023.3302956", ISSN = "1540-7993 (print), 1558-4046 (electronic)", ISSN-L = "1540-7993", bibdate = "Wed Apr 10 08:11:06 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesecpriv.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Security & Privacy", journal-URL = "https://publications.computer.org/security-and-privacy/", keywords = "Bills of materials; Java; Production; Software; Software reliability; Standards; Supply chain management", }
@Article{Besseling:2023:UTT, author = "Johan Besseling and Cyrille Artho", title = "Using {Theia} Trace Viewer to Visualize {JPF} Traces", journal = j-SIGSOFT, volume = "48", number = "1", pages = "22--26", month = jan, year = "2023", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/3573074.3573081", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Mon Mar 25 12:02:24 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib", URL = "https://dl.acm.org/doi/10.1145/3573074.3573081", abstract = "Java Pathfinder (JPF) is currently the most feature-rich platform for an in-depth analysis of programs that run on the Java Virtual Machine (JVM). However, using JPF and interpreting its results is a challenge. Dependencies on specific Java versions \ldots{}", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/loi/sigsoft", }
@Article{Bianchini:2023:JLC, author = "Riccardo Bianchini and Francesco Dagnino and Paola Giannini and Elena Zucca", title = "A {Java}-like calculus with heterogeneous coeffects", journal = j-THEOR-COMP-SCI, volume = "971", number = "??", pages = "??--??", day = "6", month = sep, year = "2023", CODEN = "TCSCDI", DOI = "https://doi.org/10.1016/j.tcs.2023.114063", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Fri Aug 11 08:34:09 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tcs2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0304397523003766", acknowledgement = ack-nhfb, articleno = "114063", fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975", }
@Article{Brown:2023:NUJ, author = "Neil C. C. Brown and Pierre Weill-Tessier and Maksymilian Sekula and Alexandra-Lucia Costache and Michael K{"o}lling", title = "Novice Use of the {Java} Programming Language", journal = j-TOCE, volume = "23", number = "1", pages = "10:1--10:??", month = mar, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1145/3551393", ISSN = "1946-6226", ISSN-L = "1946-6226", bibdate = "Fri Jun 23 11:01:30 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/toce.bib", URL = "https://dl.acm.org/doi/10.1145/3551393", abstract = "Objectives. Java is a popular programming language for use in computing education, but it is difficult to get a wide picture of the issues that it presents for novices; most studies look only at the types or frequency of errors. In this observational \ldots{}", acknowledgement = ack-nhfb, articleno = "10", fjournal = "ACM Transactions on Computing Education", journal-URL = "https://dl.acm.org/loi/toce", }
@Article{Brun:2023:BPJ, author = "Yuriy Brun and Tian Lin and Jessie Elise Somerville and Elisha M. Myers and Natalie Ebner", title = "Blindspots in {Python} and {Java} {APIs} Result in Vulnerable Code", journal = j-TOSEM, volume = "32", number = "3", pages = "76:1--76:??", month = jul, year = "2023", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3571850", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Fri Jun 9 06:39:39 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3571850", abstract = "Blindspots in APIs can cause software engineers to introduce vulnerabilities, but such blindspots are, unfortunately, common. We study the effect APIs with blindspots have on developers in two languages by replicating a 109-developer, 24-Java-API \ldots{}", acknowledgement = ack-nhfb, articleno = "76", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Bucur:2023:EMJ, author = "Vlad Bucur and and Liviu-Cristian Miclea", title = "Entering the Metaverse from the {JVM}: The State of the Art, Challenges, and Research Areas of {JVM}-Based {Web 3.0} Tools and Libraries", journal = j-FUTURE-INTERNET, volume = "15", number = "9", pages = "305", day = "07", month = sep, year = "2023", CODEN = "????", DOI = "https://doi.org/10.3390/fi15090305", ISSN = "1999-5903", bibdate = "Thu Sep 28 13:55:47 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.mdpi.com/1999-5903/15/9/305", abstract = "Web 3.0 is the basis on which the proposed metaverse, a seamless virtual world enabled by computers and interconnected devices, hopes to interact with its users, but beyond the high-level project overview of what Web 3.0 applications try to achieve, the implementation is still down to low-level coding details. This article aims to analyze the low-level implementations of key components of Web 3.0 using a variety of frameworks and tools as well as several JVM-based languages. This paper breaks down the low-level implementation of smart contracts and semantic web principles using three frameworks, Corda and Ethereum for smart contracts and Jeda for semantic web, using both Scala and Java as implementing languages all while highlighting differences and similarities between the frameworks used.", acknowledgement = ack-nhfb, journal-URL = "https://www.mdpi.com/journal/futureinternet", }
@Article{Caivano:2023:SED, author = "Danilo Caivano and Pietro Cassieri and Simone Romano and Giuseppe Scanniello", title = "On the spread and evolution of dead methods in {Java} desktop applications: an exploratory study", journal = j-EMPIR-SOFTWARE-ENG, volume = "28", number = "3", pages = "??--??", month = may, year = "2023", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-023-10303-0", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Wed May 17 06:39:05 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10664-023-10303-0", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", articleno = "64", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Carvalho:2023:DBR, author = "Tiago Carvalho and Jo{~a}o Bispo and Pedro Pinto and Jo{~a}o M. P. Cardoso", title = "A {DSL}-based runtime adaptivity framework for {Java}", journal = j-SOFTWAREX, volume = "23", number = "??", pages = "??--??", month = jul, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2023.101496", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Thu Oct 5 12:03:02 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001929", acknowledgement = ack-nhfb, articleno = "101496", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Cristia:2023:DPI, author = "Maximiliano Cristi{'a} and others", title = "Declarative Programming with Intensional Sets in {Java} Using {JSetL}", journal = j-COMP-J, volume = "66", number = "3", pages = "763--784", month = mar, year = "2023", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/bxab195", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Mon Apr 24 08:51:35 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/compj2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://academic.oup.com/comjnl/article/66/3/763/6521749", acknowledgement = ack-nhfb, fjournal = "Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", }
@Article{Federico:2023:CEA, author = "Gemma {Di Federico} and Andrea Burattin", title = "{CvAMoS} --- Event Abstraction Using Contextual Information", journal = j-FUTURE-INTERNET, volume = "15", number = "3", pages = "113", day = "18", month = mar, year = "2023", CODEN = "????", DOI = "https://doi.org/10.3390/fi15030113", ISSN = "1999-5903", bibdate = "Wed Mar 29 11:12:24 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.mdpi.com/1999-5903/15/3/113", abstract = "Process mining analyzes events that are logged during the execution of a process, with the aim of gathering useful information and knowledge. Process discovery algorithms derive process models that represent these processes. The level of abstraction at which the process model is represented is reflected in the granularity of the event log. When a process is captured by the usage of sensor systems, process activities are recorded at the sensor-level in the form of sensor readings, and are therefore too fine-grained and non-explanatory. To increase the understandability of the process model, events need to be abstracted into higher-level activities that provide a more meaningful representation of the process. The abstraction becomes more relevant and challenging when the process involves human behavior, as the flexible nature of human~actions can make it harder to identify and abstract meaningful activities. This paper proposes CvAMoS, a trace-based approach for event abstraction, which focuses on identifying motifs while taking context into account. A motif is a recurring sequence of events that represents an activity that took place under specific circumstances depicted by the context. Context information is logged in the event log in the form of environmental sensor readings (e.g., the temperature and light sensors). The presented algorithm uses a distance function to deal with the variability in the execution of activities. The result is a set of meaningful and interpretable motifs. The algorithm has been tested on both synthetic and real datasets, and compared to the state of the art. CvAMoS is implemented as a Java application and the code is freely available.", acknowledgement = ack-nhfb, journal-URL = "https://www.mdpi.com/journal/futureinternet", }
@Article{Feng:2023:BBB, author = "Pengbin Feng and Li Yang and Di Lu and Ning Xi and Jianfeng Ma", title = "{BejaGNN}: behavior-based {Java} malware detection via graph neural network", journal = j-J-SUPERCOMPUTING, volume = "79", number = "14", pages = "15390--15414", month = sep, year = "2023", CODEN = "JOSUED", DOI = "https://doi.org/10.1007/s11227-023-05243-x", ISSN = "0920-8542 (print), 1573-0484 (electronic)", ISSN-L = "0920-8542", bibdate = "Tue Aug 15 06:21:43 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsuper2020.bib", URL = "https://link.springer.com/article/10.1007/s11227-023-05243-x", acknowledgement = ack-nhfb, ajournal = "J. Supercomputing", fjournal = "The Journal of Supercomputing", journal-URL = "http://link.springer.com/journal/11227", }
@Article{Fouquet:2023:BBQ, author = "Romain Fouquet and Pierre Laperdrix and Romain Rouvoy", title = "Breaking Bad: Quantifying the Addiction of {Web} Elements to {JavaScript}", journal = j-TOIT, volume = "23", number = "1", pages = "22:1--22:??", month = feb, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1145/3579846", ISSN = "1533-5399 (print), 1557-6051 (electronic)", ISSN-L = "1533-5399", bibdate = "Thu Apr 6 05:50:04 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/toit.bib", URL = "https://dl.acm.org/doi/10.1145/3579846", abstract = "While JavaScript established itself as a cornerstone of the modern web, it also constitutes a major tracking and security vector, thus raising critical privacy and security concerns. In this context, some browser extensions propose to systematically block scripts reported by crowdsourced trackers lists. However, this solution heavily depends on the quality of these built-in lists, which may be deprecated or incomplete, thus exposing the visitor to unknown trackers. In this article, we explore a different strategy by investigating the benefits of disabling JavaScript in the browser. More specifically, by adopting such a strict policy, we aim to quantify the JavaScript addiction of web elements composing a web page through the observation of web breakages. As there is no standard mechanism for detecting such breakages, we introduce a framework to inspect several page features when blocking JavaScript, that we deploy to analyze 6,384 pages, including landing and internal web pages. We discover that 43% of web pages are not strictly dependent on JavaScript and that more than 67% of pages are likely to be usable as long as the visitor only requires the content from the main section of the page, for which the user most likely reached the page, while reducing the number of tracking requests by 85% on average. Finally, we discuss the viability of currently browsing the web without JavaScript and detail multiple incentives for websites to be kept usable without JavaScript.", acknowledgement = ack-nhfb, articleno = "22", fjournal = "ACM Transactions on Internet Technology (TOIT)", journal-URL = "https://dl.acm.org/loi/toit", }
@Article{He:2023:IBC, author = "Dongjie He and Jingbo Lu and Jingling Xue", title = "{IFDS}-based Context Debloating for Object-Sensitive Pointer Analysis", journal = j-TOSEM, volume = "32", number = "4", pages = "101:1--101:??", month = jul, year = "2023", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3579641", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Mon Jul 3 08:45:48 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3579641", abstract = "Object-sensitive pointer analysis, which separates the calling contexts of a method by its receiver objects, is known to achieve highly useful precision for object-oriented languages such as Java. Despite recent advances, all object-sensitive pointer \ldots{}", acknowledgement = ack-nhfb, ajournal = "ACM Trans. Softw. Eng. Methodol.", articleno = "101", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Karmakar:2023:JEJ, author = "Anjan Karmakar and Miltiadis Allamanis and Romain Robbes", title = "{JEMMA}: an extensible {Java} dataset for {ML4Code} applications", journal = j-EMPIR-SOFTWARE-ENG, volume = "28", number = "2", pages = "??--??", month = mar, year = "2023", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-022-10275-7", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Wed May 17 06:39:05 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10664-022-10275-7", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", articleno = "54", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Krasanakis:2023:JGN, author = "Emmanouil Krasanakis and Symeon Papadopoulos and Ioannis Kompatsiaris", title = "\pkg{JGNN}: {Graph Neural Networks} on native {Java}", journal = j-SOFTWAREX, volume = "23", number = "??", pages = "??--??", month = jul, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2023.101459", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Thu Oct 5 12:03:02 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001553", acknowledgement = ack-nhfb, articleno = "101459", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Larsen:2023:PSS, author = "Simon Lars{'e}n and Jean-R{'e}my Falleri and Benoit Baudry and Martin Monperrus", title = "\pkg{Spork}: Structured Merge for {Java} With Formatting Preservation", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "1", pages = "64--83", month = jan, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2022.3143766", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Feb 18 16:46:58 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Liu:2023:MEX, author = "Zhonglin Liu and Yong Fang and Cheng Huang and Yijia Xu", title = "{MFXSS}: an effective {XSS} vulnerability detection method in {JavaScript} based on multi-feature model", journal = j-COMPUT-SECUR, volume = "124", number = "??", pages = "??--??", month = jan, year = "2023", CODEN = "CPSEDU", DOI = "https://doi.org/10.1016/j.cose.2022.103015", ISSN = "0167-4048 (print), 1872-6208 (electronic)", ISSN-L = "0167-4048", bibdate = "Wed Nov 30 09:08:05 MST 2022", bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167404822004072", acknowledgement = ack-nhfb, articleno = "103015", fjournal = "Computers & Security", journal-URL = "http://www.sciencedirect.com/science/journal/01674048", }
@Article{Mahmoudi:2023:OSW, author = "Amin Mahmoudi and Mahsa Sadeghi and Xiaopeng Deng and Pengcheng Pan", title = "\pkg{OPA Solver}: a web-based software for {Ordinal Priority Approach} in multiple criteria decision analysis using {JavaScript}", journal = j-SOFTWAREX, volume = "24", number = "??", pages = "??--??", month = dec, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2023.101546", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Sat Dec 16 07:45:56 MST 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S235271102300242X", acknowledgement = ack-nhfb, articleno = "101546", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Malavolta:2023:JDC, author = "Ivano Malavolta and Kishan Nirghin and Gian Luca Scoccia and Simone Romano and Salvatore Lombardi and Giuseppe Scanniello and Patricia Lago", title = "{JavaScript} Dead Code Identification, Elimination, and Empirical Assessment", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "7", pages = "3692--3714", month = jul, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2023.3267848", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Tue Aug 1 15:09:06 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Midolo:2023:ATS, author = "Alessandro Midolo and and Emiliano Tramontana", title = "An Automatic Transformer from Sequential to Parallel {Java} Code", journal = j-FUTURE-INTERNET, volume = "15", number = "9", pages = "306", day = "08", month = sep, year = "2023", CODEN = "????", DOI = "https://doi.org/10.3390/fi15090306", ISSN = "1999-5903", bibdate = "Thu Sep 28 13:55:47 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.mdpi.com/1999-5903/15/9/306", abstract = "Sequential programs can benefit from parallel execution to improve their performance. When developing a parallel application, several techniques are employed to achieve the desired behavior: identifying parts that can run in parallel, synchronizing access to shared data, tuning performance, etc. Admittedly, manually transforming a sequential application to make it parallel can be tedious due to the large number of lines of code to inspect, the possibility of errors arising from inaccurate data dependence analysis leading to unpredictable behavior, and inefficiencies when the workload between parallel threads is unbalanced. This paper proposes an automatic approach that analyzes Java source code to identify method calls that are suitable for parallel execution and transforms them so that they run in another thread. The approach is based on data dependence and control dependence analyses to determine the execution flow and data accessed. Based on the proposed method, a tool has been developed to enhance applications by incorporating parallelism, i.e., transforming suitable method calls to execute on parallel threads, and synchronizing data access where needed. The developed tool has been extensively tested to verify the accuracy of its analysis in finding parallel execution opportunities, the correctness of the source code alterations, and the resultant performance gain.", acknowledgement = ack-nhfb, journal-URL = "https://www.mdpi.com/journal/futureinternet", }
@Article{Mumtaz:2023:IRO, author = "Haris Mumtaz and Paramvir Singh and Kelly Blincoe", title = "Identifying refactoring opportunities for large packages by analyzing maintainability characteristics in {Java} {OSS}", journal = j-J-SYST-SOFTW, volume = "202", number = "??", pages = "??--??", month = aug, year = "2023", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2023.111717", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Thu Jun 1 10:39:27 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121223001127", acknowledgement = ack-nhfb, articleno = "111717", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Naseer:2023:JCF, author = "Usama Naseer and Theophilus A. Benson", title = "{JS} Capsules: a Framework for Capturing Fine-grained {JavaScript} Memory Measurements for the Mobile {Web}", journal = j-POMACS, volume = "7", number = "1", pages = "14:1--14:??", month = mar, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1145/3579327", ISSN = "2476-1249", ISSN-L = "2476-1249", bibdate = "Tue Aug 20 07:19:51 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pomacs.bib", URL = "https://dl.acm.org/doi/10.1145/3579327", abstract = "Understanding the resource consumption of the mobile web is an important topic that has garnered much attention in recent years. However, existing works mostly focus on the networking or computational aspects of the mobile web and largely ignore memory, \ldots{}", acknowledgement = ack-nhfb, articleno = "14", fjournal = "Proceedings of the ACM on Measurement and Analysis of Computing Systems (POMACS)", journal-URL = "https://dl.acm.org/loi/pomacs", }
@Article{Nowicki:2023:PEJ, author = "Marek Nowicki and Lukasz G{'o}rski and Piotr Ba{\l}a", title = "Performance evaluation of {Java\slash PCJ} implementation of parallel algorithms on the cloud (extended version)", journal = j-CCPE, volume = "35", number = "15", pages = "e6536:1--e6536:??", day = "10", month = jul, year = "2023", CODEN = "CCPEBO", DOI = "https://doi.org/10.1002/cpe.6536", ISSN = "1532-0626 (print), 1532-0634 (electronic)", ISSN-L = "1532-0626", bibdate = "Wed Sep 27 08:16:43 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ccpe2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "Concurr. Comput.", fjournal = "Concurrency and Computation: Practice and Experience", journal-URL = "http://www.interscience.wiley.com/jpages/1532-0626", onlinedate = "02 August 2021", }
@Article{Park:2023:DCC, author = "Hyukwoo Park and Seonghyun Kim and Boram Bae", title = "Dynamic code compression for {JavaScript} engine", journal = j-SPE, volume = "53", number = "5", pages = "1196--1217", month = may, year = "2023", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.3186", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Thu Jun 29 14:46:13 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "04 February 2023", }
@Article{Rosales:2023:LSC, author = "Eduardo Rosales and Matteo Basso and Andrea Ros{`a} and Walter Binder", title = "Large-scale characterization of {Java} streams", journal = j-SPE, volume = "53", number = "9", pages = "1763--1792", month = sep, year = "2023", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.3213", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Mon Aug 28 14:04:59 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", onlinedate = "05 June 2023", }
@Article{Sayar:2023:DSJ, author = "Imen Sayar and Alexandre Bartel and Eric Bodden and Yves {Le Traon}", title = "An In-depth Study of {Java} Deserialization Remote-Code Execution Exploits and Vulnerabilities", journal = j-TOSEM, volume = "32", number = "1", pages = "25:1--25:??", month = jan, year = "2023", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3554732", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Wed Apr 5 10:29:39 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3554732", abstract = "Nowadays, an increasing number of applications use deserialization. This technique, based on rebuilding the instance of objects from serialized byte streams, can be dangerous since it can open the application to attacks such as remote code execution (RCE) \ldots{}", acknowledgement = ack-nhfb, articleno = "25", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Schneider:2023:AES, author = "Simon Schneider and Riccardo Scandariato", title = "Automatic extraction of security-rich dataflow diagrams for microservice applications written in {Java}", journal = j-J-SYST-SOFTW, volume = "202", number = "??", pages = "??--??", month = aug, year = "2023", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2023.111722", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Thu Jun 1 10:39:27 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121223001176", acknowledgement = ack-nhfb, articleno = "111722", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Shen:2023:CSM, author = "Bowen Shen and Muhammad Ali Gulzar and Fei He and Na Meng", title = "A Characterization Study of Merge Conflicts in {Java} Projects", journal = j-TOSEM, volume = "32", number = "2", pages = "40:1--40:??", month = apr, year = "2023", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3546944", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Mon Apr 17 12:10:06 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3546944", abstract = "In collaborative software development, programmers create software branches to add features and fix bugs tentatively, and then merge branches to integrate edits. When edits from different branches textually overlap (i.e., textual conflicts ) or lead to \ldots{}", acknowledgement = ack-nhfb, articleno = "40", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Sherman:2023:JPW, author = "Elena Sherman and Yannic Noller and Cyrille Artho and Franck van Breugel and Anto Nanah Ji and John Kellerman and Parssa Khazra and Filip Kliber and Gaurang Kudale and Pavel Par{'\i}zek and Corina S. Pasareanu and Ron Pressler and Matt Walker and Hongru Wang and Qiuchen Yan", title = "The {Java Pathfinder Workshop 2022}", journal = j-SIGSOFT, volume = "48", number = "1", pages = "19--21", month = jan, year = "2023", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/3573074.3573080", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Mon Mar 25 12:02:24 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib", URL = "https://dl.acm.org/doi/10.1145/3573074.3573080", abstract = "Java Pathfinder (JPF) was originally developed as an explicit state software model checker and subsequently evolved into an extensible Java bytecode analysis framework that has been successfully used to implement techniques such as symbolic and concolic \ldots{}", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/loi/sigsoft", }
@Article{Silva:2023:EHL, author = "Rui S. Silva and Jo{~a}o L. Sobral", title = "Efficient High-Level Programming in Plain {Java}", journal = j-INT-J-PARALLEL-PROG, volume = "51", number = "1", pages = "22--42", month = feb, year = "2023", CODEN = "IJPPE5", DOI = "https://doi.org/10.1007/s10766-022-00747-0", ISSN = "0885-7458 (print), 1573-7640 (electronic)", ISSN-L = "0885-7458", bibdate = "Mon May 1 06:16:39 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/intjparallelprogram.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10766-022-00747-0", acknowledgement = ack-nhfb, ajournal = "Int. J. Parallel Prog.", fjournal = "International Journal of Parallel Programming", journal-URL = "http://link.springer.com/journal/10766", }
@Article{Soto-Valero:2023:AST, author = "C{'e}sar Soto-Valero and Deepika Tiwari and Tim Toady and Benoit Baudry", title = "Automatic Specialization of Third-Party {Java} Dependencies", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "11", pages = "5027--5045", month = nov, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2023.3324950", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Thu Dec 14 15:07:56 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Soto-Valero:2023:CBD, author = "C{'e}sar Soto-Valero and Thomas Durieux and Nicolas Harrand and Benoit Baudry", title = "Coverage-Based Debloating for {Java} Bytecode", journal = j-TOSEM, volume = "32", number = "2", pages = "38:1--38:??", month = apr, year = "2023", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3546948", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Mon Apr 17 12:10:06 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3546948", abstract = "Software bloat is code that is packaged in an application but is actually not necessary to run the application. The presence of software bloat is an issue for security, performance, and for maintenance. In this article, we introduce a novel technique for \ldots{}", acknowledgement = ack-nhfb, articleno = "38", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Torres:2023:ICC, author = "Adriano Torres and Caio Oliveira and M{'a}rcio Okimoto and Diego Marc{'{\i}}lio and Pedro Queiroga and Fernando Castor and Rodrigo Bonif{'a}cio and Edna Dias Canedo and M{'a}rcio Ribeiro and Eduardo Monteiro", title = "An Investigation of confusing code patterns in {JavaScript}", journal = j-J-SYST-SOFTW, volume = "203", number = "??", pages = "??--??", month = sep, year = "2023", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2023.111731", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Tue Jun 13 06:08:02 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0164121223001267", acknowledgement = ack-nhfb, articleno = "111731", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Traini:2023:TEA, author = "Luca Traini and Vittorio Cortellessa and Daniele {Di Pompeo} and Michele Tucci", title = "Towards effective assessment of steady state performance in {Java} software: are we there yet?", journal = j-EMPIR-SOFTWARE-ENG, volume = "28", number = "1", pages = "??--??", month = jan, year = "2023", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-022-10247-x", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Wed May 17 06:39:04 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10664-022-10247-x", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", articleno = "13", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Trubiani:2023:ADS, author = "Catia Trubiani and Riccardo Pinciroli and Andrea Biaggi and Francesca Arcelli Fontana", title = "Automated Detection of Software Performance Antipatterns in {Java}-Based Applications", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "4", pages = "2873--2891", month = apr, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2023.3234321", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Apr 21 11:17:27 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{vanOorschot:2023:MEMb, author = "Paul C. van Oorschot", title = "Memory Errors and Memory Safety: a Look at {Java} and {Rust}", journal = j-IEEE-SEC-PRIV, volume = "21", number = "3", pages = "62--68", month = may # "\slash " # jun, year = "2023", DOI = "https://doi.org/10.1109/MSEC.2023.3249719", ISSN = "1540-7993 (print), 1558-4046 (electronic)", ISSN-L = "1540-7993", bibdate = "Mon Jun 5 11:33:11 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesecpriv.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/rust.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Security & Privacy", journal-URL = "https://publications.computer.org/security-and-privacy/", }
@Article{Walker:2023:JLF, author = "Matt Walker and Parssa Khazra and Anto Nanah Ji and Hongru Wang and Franck van Breugel", title = "{jpf-logic}: a Framework for Checking Temporal Logic Properties of {Java} Code", journal = j-SIGSOFT, volume = "48", number = "1", pages = "32--36", month = jan, year = "2023", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/3573074.3573083", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Mon Mar 25 12:02:24 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib", URL = "https://dl.acm.org/doi/10.1145/3573074.3573083", abstract = "We present jpf-logic, an extension of the model checker Java PathFinder (JPF). Our extension jpf-logic provides a framework to check properties expressed in temporal logics such as linear temporal logic (LTL) and computation tree logic (CTL). To support \ldots{}", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/loi/sigsoft", }
@Article{Wang:2023:SCJ, author = "Chao Wang and Hao He and Uma Pal and Darko Marinov and Minghui Zhou", title = "Suboptimal Comments in {Java} Projects: From Independent Comment Changes to Commenting Practices", journal = j-TOSEM, volume = "32", number = "2", pages = "45:1--45:??", month = apr, year = "2023", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3546949", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Mon Apr 17 12:10:06 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3546949", abstract = "High-quality source code comments are valuable for software development and maintenance, however, code often contains low-quality comments or lacks them altogether. We name such source code comments as suboptimal comments. Such suboptimal comments create \ldots{}", acknowledgement = ack-nhfb, articleno = "45", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Wijaya:2023:NJD, author = "Agung Danu Wijaya and Dedy Farhamsa and Darmawati Darwis", title = "\pkg{netDFT}: {JAVA Density Functional Theory} for solid", journal = j-SOFTWAREX, volume = "23", number = "??", pages = "??--??", month = jul, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2023.101445", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Thu Oct 5 12:03:02 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001413", acknowledgement = ack-nhfb, articleno = "101445", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Yan:2023:TWS, author = "Qiuchen Yan and Cyrille Artho and Pavel Par{'\i}zek", title = "Towards Wider Support for {Java} String Functions", journal = j-SIGSOFT, volume = "48", number = "1", pages = "37", month = jan, year = "2023", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/3573074.3573084", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Mon Mar 25 12:02:24 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib", URL = "https://dl.acm.org/doi/10.1145/3573074.3573084", abstract = "We conduct a study about SPF's existing string support by running tests on a version of SPF with the latest string support. Based on the results, we then analyze each string method and identify the major challenges in supporting them. We categorize \ldots{}", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/loi/sigsoft", }
@Article{Zhang:2023:ADJ, author = "Ying Zhang and Md Mahir Asef Kabir and Ya Xiao and Danfeng Yao and Na Meng", title = "Automatic Detection of {Java} Cryptographic {API} Misuses: Are We There Yet?", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "1", pages = "288--303", month = jan, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2022.3150302", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Feb 18 16:46:58 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Zhang:2023:RRB, author = "Qiang Zhang and Lei Xu and Baowen Xu", title = "{RegCPython}: a Register-based {Python} Interpreter for Better Performance", journal = j-TACO, volume = "20", number = "1", pages = "14:1--14:??", month = mar, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1145/3568973", ISSN = "1544-3566 (print), 1544-3973 (electronic)", ISSN-L = "1544-3566", bibdate = "Fri Feb 17 06:54:21 MST 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib; https://www.math.utah.edu/pub/tex/bib/taco.bib", URL = "https://dl.acm.org/doi/10.1145/3568973", abstract = "Interpreters are widely used in the implementation of many programming languages, such as Python, Perl, and Java. Even though various JIT compilers emerge in an endless stream, interpretation efficiency still plays a critical role in program performance. Does a stack-based interpreter or a register-based interpreter perform better? The pros and cons of the pair of architectures have long been discussed. The stack architecture is attractive for its concise model and compact bytecode, but our study finds that the register-based interpreter can also be implemented easily and that its bytecode size only grows by a small margin. Moreover, the latter turns out to be appreciably faster. Specifically, we implemented an open source Python interpreter named RegCPython based on CPython v3.10.1. The former is register based, while the latter is stack based. Without changes in syntax, Application Programming Interface, and Application Binary Interface, RegCPython is excellently compatible with CPython, as it does not break existing syntax or interfaces. It achieves a speedup of 1.287 on the most favorable benchmark and 0.977 even on the most unfavorable benchmark. For all Python-intensive benchmarks, the average speedup reaches 1.120 on x86 and 1.130 on ARM. Our evaluation work, which also serves as an empirical study, provides a detailed performance survey of both interpreters on modern hardware. It points out that the register-based interpreters are more efficient mainly due to the elimination of machine instructions needed, while changes in branch mispredictions and cache misses have a limited impact on performance. Additionally, it confirms that the register-based implementation is also satisfactory in terms of memory footprint, compilation cost, and implementation complexity.", acknowledgement = ack-nhfb, articleno = "14", fjournal = "ACM Transactions on Architecture and Code Optimization (TACO)", journal-URL = "https://dl.acm.org/loi/taco", }
@Article{Zhou:2023:RSA, author = "Litao Zhou and Yaoda Zhou and Bruno C. d. S. Oliveira", title = "Recursive Subtyping for All", journal = j-PACMPL, volume = "7", number = "POPL", pages = "48:1--48:??", month = jan, year = "2023", CODEN = "????", DOI = "https://doi.org/10.1145/3571241", ISSN = "2475-1421 (electronic)", ISSN-L = "2475-1421", bibdate = "Wed May 17 09:16:16 MDT 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/pacmpl.bib", URL = "https://dl.acm.org/doi/10.1145/3571241", abstract = "Recursive types and bounded quantification are prominent features in many modern programming languages, such as Java, C#, Scala or TypeScript. Unfortunately, \ldots{}", acknowledgement = ack-nhfb, articleno = "48", fjournal = "Proceedings of the ACM on Programming Languages (PACMPL)", journal-URL = "https://dl.acm.org/loi/pacmpl", }
@Article{Zozas:2023:FPC, author = "Ioannis Zozas and Stamatia Bibi and Apostolos Ampatzoglou", title = "Forecasting the Principal of Code Technical Debt in {JavaScript} Applications", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "49", number = "4", pages = "2498--2512", month = apr, year = "2023", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2022.3222318", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Apr 21 11:17:27 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Software Engineering", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", }
@Article{Ahmad:2024:EAW, author = "Zubair Ahmad and Samuele Casarin and Stefano Calzavara", title = "An Empirical Analysis of {Web} Storage and Its Applications to {Web} Tracking", journal = j-TWEB, volume = "18", number = "1", pages = "7:1--7:28", month = feb, year = "2024", CODEN = "????", DOI = "https://doi.org/10.1145/3623382", ISSN = "1559-1131 (print), 1559-114X (electronic)", ISSN-L = "1559-1131", bibdate = "Tue Aug 20 07:34:13 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tweb.bib", URL = "https://dl.acm.org/doi/10.1145/3623382", abstract = "In this article, we present a large-scale empirical analysis of the use of web storage in the wild. By using dynamic taint tracking at the level of JavaScript and by performing an automated classification of the detected information flows, we shed light on the key characteristics of web storage uses in the Tranco Top 10k. Our analysis shows that web storage is routinely accessed by third parties, including known web trackers, who are particularly eager to have both read and write access to persistent web storage information. We then deep dive in web tracking as a prominent case study: our analysis shows that web storage is not yet as popular as cookies for tracking purposes; however, taint tracking is useful to detect potential new trackers not included in standard filter lists. Moreover, we observe that many websites do not comply with the General Data Protection Regulation directives when it comes to their use of web storage.", acknowledgement = ack-nhfb, ajournal = "ACM Trans. Web", articleno = "7", fjournal = "ACM Transactions on the Web (TWEB)", journal-URL = "https://dl.acm.org/loi/tweb", }
@Article{Ayerdi:2024:GAG, author = "Jon Ayerdi and Valerio Terragni and Gunel Jahangirova and Aitor Arrieta and Paolo Tonella", title = "{GenMorph}: Automatically Generating Metamorphic Relations via Genetic Programming", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "7", pages = "1888--1900", month = jul, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3407840", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Filters; Generators; Genetic programming; genetic programming; Java; Manuals; metamorphic relations; Metamorphic testing; mutation analysis; oracle problem; Space exploration; Testing", }
@Article{Bertolotti:2024:WDD, author = "Francesco Bertolotti and Walter Cazzola and Dario Ostuni and Carlo Castoldi", title = "When the dragons defeat the knight: {Basilisk} an architectural pattern for platform and language independent development", journal = j-J-SYST-SOFTW, volume = "215", number = "??", pages = "??--??", month = sep, year = "2024", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2024.112088", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Tue Jun 11 07:32:57 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib", URL = "http://www.sciencedirect.com/science/article/pii/S016412122400133X", acknowledgement = ack-nhfb, ajournal = "J. Syst. Softw.", articleno = "112088", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Brandt:2024:SSH, author = "Carolin Brandt and Ali Khatami and Mairieli Wessel and Andy Zaidman", title = "Shaken, Not Stirred: How Developers Like Their Amplified Tests", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "5", pages = "1264--1280", month = may, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3381015", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "automatic test generation; Codes; Computer crashes; developer-centric test amplification; Fuzzing; Java; Software testing; Test pattern generators; Testing; Writing", }
@Article{Chen:2024:CEH, author = "Bochuan Chen and Xiao Guo and Yuting Chen and Xiaofeng Yu and Lei Bu", title = "Constructing exception handling chains for testing {Java} virtual machine implementations", journal = j-J-SOFTW-EVOL-PROC, volume = "36", number = "4", pages = "e2562:1--e2562:??", month = apr, year = "2024", CODEN = "????", DOI = "https://doi.org/10.1002/smr.2562", ISSN = "2047-7473 (print), 2047-7481 (electronic)", ISSN-L = "2047-7473", bibdate = "Sat May 25 07:47:43 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib; https://www.math.utah.edu/pub/tex/bib/virtual-machines.bib", acknowledgement = ack-nhfb, ajournal = "J. Softw. Evol. Proc.", fjournal = "Journal of Software: Evolution and Process", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481", onlinedate = "15 April 2023", }
@Article{Fatima:2024:FUL, author = "Sakina Fatima and Hadi Hemmati and Lionel C. Briand", title = "{FlakyFix}: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "12", pages = "3146--3171", month = dec, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3472476", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Analytical models; code models; Codes; Few shot learning; few shot learning; fix category; Flaky tests; Java; Large language models; large language models; Maintenance engineering; Manuals; Predictive models; Production; Python; software testing; test repair", }
@Article{Forti:2024:IMR, author = "Stefano Forti", title = "An Interview with {Martin Robillard} --- {2024 SIGSOFT} Awardee", journal = j-SIGSOFT, volume = "49", number = "3", pages = "19--20", month = jul, year = "2024", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/3672089.3672094", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Tue Aug 20 09:04:41 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib", URL = "https://dl.acm.org/doi/10.1145/3672089.3672094", abstract = "Martin Robillard received the 2024 SIGSOFT Influential Educator Award for his significant contributions to hands-on software design education, including a textbook (Introduction to Software Design with Java) and a learner-focused software modeling tool \ldots{}", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/loi/sigsoft", }
@Article{Ghorbani:2024:DAA, author = "Negar Ghorbani and Tarandeep Singh and Joshua Garcia and Sam Malek", title = "{Darcy}: Automatic Architectural Inconsistency Resolution in {Java}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "6", pages = "1639--1657", month = jun, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3396433", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Architectural Inconsistency; Computer architecture; Encapsulation; Java; Java Platform Module System; Maintenance engineering; Security; Software Analysis; Software Architecture; Software Repair; Software systems; Unified modeling language", }
@Article{Gong:2024:MKM, author = "Lina Gong and Haoxiang Zhang", title = "{MR$^2_2$-KG}: a Multi-Relation Multi-Rationale Knowledge Graph for Modeling Software Engineering Knowledge on {Stack Overflow}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "7", pages = "1867--1887", month = jul, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3403108", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Couplings; crowdsourced knowledge sharing; Empirical software engineering; Java; knowledge graph; Knowledge graphs; Message systems; Parallel processing; Question answering (information retrieval); Software engineering; stack overflow", }
@Article{Gorski:2024:SJP, author = "Tomasz G{'o}rski", title = "\pkg{SmarTS}: a {Java} package for smart contract test suite generation and execution", journal = j-SOFTWAREX, volume = "26", number = "??", pages = "??--??", month = may, year = "2024", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2024.101698", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Wed May 29 07:44:49 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711024000694", acknowledgement = ack-nhfb, articleno = "101698", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Guerra:2024:HDA, author = "Eduardo Guerra and Everaldo Gomes and Jeferson Ferreira and Igor Wiese and Phyllipe Lima and Marco Gerosa and Paulo Meirelles", title = "How do annotations affect {Java} code readability?", journal = j-EMPIR-SOFTWARE-ENG, volume = "29", number = "3", pages = "??--??", month = may, year = "2024", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-024-10460-w", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Fri May 31 15:48:05 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10664-024-10460-w", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", articleno = "62", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Hasan:2024:RAB, author = "Mohammed Tayeeb Hasan and Nikolaos Tsantalis and Pouria Alikhanifard", title = "Refactoring-Aware Block Tracking in Commit History", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "12", pages = "3330--3350", month = dec, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3484586", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Accuracy; change oracle; Codes; Commit change history; Computer bugs; Containers; History; Java; refactoring-aware source code tracking; Software; Software engineering; Source coding; Target tracking", }
@Article{Hwang:2024:ESJ, author = "Sungjae Hwang and Sungho Lee and Sukyoung Ryu", title = "An Empirical Study of {JVMs}' Behaviors on Erroneous {JNI} Interoperations", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "4", pages = "979--994", month = apr, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3373239", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Behavioral sciences; Codes; debugging; DSL; empirical study; Java; Java native interface; Java virtual machine; Runtime; Semantics; testing; Virtual machining", }
@Article{Juge:2024:ASS, author = "Vincent Jug{'e}", title = "Adaptive Shivers Sort: an Alternative Sorting Algorithm", journal = j-TALG, volume = "20", number = "4", pages = "31:1--31:55", month = oct, year = "2024", CODEN = "????", DOI = "https://doi.org/10.1145/3664195", ISSN = "1549-6325 (print), 1549-6333 (electronic)", ISSN-L = "1549-6325", bibdate = "Sat Oct 12 11:56:24 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/talg.bib", URL = "https://dl.acm.org/doi/10.1145/3664195", abstract = "We present a new sorting algorithm, called adaptive ShiversSort, that exploits the existence of monotonic runs for sorting efficiently partially sorted data. This algorithm is a variant of the well-known algorithm TimSort, which is the sorting algorithm used in standard libraries of programming languages, such as Python or Java (for non-primitive types). More precisely, adaptive ShiversSort is a so-called kkk-aware merge-sort algorithm, a class that captures TimSort-like algorithms and that was introduced by Buss and Knop.\par
In this article, we prove that, although adaptive
ShiversSort is simple to implement and differs only
slightly from TimSort, its computational cost, in
number of comparisons performed, is optimal within the
class of natural merge-sort algorithms, up to a small
additive linear term. This makes adaptive ShiversSort
the first <span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi></mrow><annotation encoding="application/x-tex">k</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6944em;"></span><span class="mord mathnormal" style="margin-right:0.03148em;">k</span></span></span></span>-aware algorithm to benefit from this
property, which is also a 33\% improvement over
TimSort's worst-case. This suggests that adaptive
ShiversSort could be a strong contender for being used
instead of TimSort.\par
Then, we investigate the optimality of <span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi></mrow><annotation encoding="application/x-tex">k</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6944em;"></span><span class="mord mathnormal" style="margin-right:0.03148em;">k</span></span></span></span>-aware
algorithms. We give lower and upper bounds on the best
approximation factors of such algorithms, compared to
optimal stable natural merge-sort algorithms. In
particular, we design generalisations of adaptive
ShiversSort whose computational costs are optimal up to
arbitrarily small multiplicative factors.",
acknowledgement = ack-nhfb, ajournal = "ACM Trans. Algorithms", articleno = "31", fjournal = "ACM Transactions on Algorithms (TALG)", journal-URL = "https://dl.acm.org/loi/talg", }
@Article{Kan:2024:CLT, author = "Shuangxiang Kan and Yuhao Gao and Zexin Zhong and Yulei Sui", title = "Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for {Java}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "6", pages = "1518--1533", month = jun, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3392254", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "C++ languages; caller-sensitive specification; Codes; cross-language program; Java; Libraries; Security; Source coding; Static analysis; taint analysis", }
@Article{Kang:2024:EDL, author = "Sungmin Kang and Juyeon Yoon and Nargiz Askarbekkyzy and Shin Yoo", title = "Evaluating Diverse Large Language Models for Automatic and General Bug Reproduction", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "10", pages = "2677--2694", month = oct, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3450837", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Wed Oct 23 14:46:33 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Codes; Computational modeling; Computer bugs; Debugging; Java; Large language models; natural language processing; Pipelines; software engineering; Test generation", }
@Article{Laaber:2024:ESB, author = "Christoph Laaber and Tao Yue and Shaukat Ali", title = "Evaluating Search-Based Software Microbenchmark Prioritization", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "7", pages = "1687--1703", month = jul, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3380836", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Benchmark testing; Java; JMH; multi-objective optimization; performance testing; regression testing; Runtime; Search problems; search-based software engineering; Software; Software measurement; Software microbenchmarking; Source coding; test case prioritization", }
@Article{Labijak-Kowalska:2024:RJL, author = "Anna Labijak-Kowalska and Mi{\l}osz Kadzi{'n}ski", title = "\pkg{robustDEA}: a {Java} library for robust efficiency analysis", journal = j-SOFTWAREX, volume = "26", number = "??", pages = "??--??", month = may, year = "2024", CODEN = "????", DOI = "https://doi.org/10.1016/j.softx.2024.101749", ISSN = "2352-7110", ISSN-L = "2352-7110", bibdate = "Wed May 29 07:44:49 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/softwarex.bib", URL = "http://www.sciencedirect.com/science/article/pii/S2352711024001201", acknowledgement = ack-nhfb, articleno = "101749", fjournal = "SoftwareX", journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues", }
@Article{Li:2024:GSG, author = "Haofeng Li and Tian Tan and Yue Li and Jie Lu and Haining Meng and Liqing Cao and Yongheng Huang and Lian Li and Lin Gao and Peng Di and Liang Lin and ChenXi Cui", title = "Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "5", pages = "1144--1162", month = may, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3377645", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Benchmark testing; Codes; context sensitivity; generic programming; Java; Pointer analysis; Receivers; Resource management; Sensitivity; Software", }
@Article{Liu:2024:ESC, author = "Wei Liu and Shouvick Mondal and Tse-Hsun (Peter) Chen", title = "An Empirical Study on the Characteristics of Database Access Bugs in {Java} Applications", journal = j-TOSEM, volume = "33", number = "7", pages = "181:1--181:??", month = sep, year = "2024", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3672449", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Mon Sep 30 08:52:18 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3672449", abstract = "Database-backed applications rely on the database access code to interact with the underlying database management systems (DBMSs). Although many prior studies aim at database access issues like SQL anti-patterns or SQL code smells, there is a lack of \ldots{}", acknowledgement = ack-nhfb, ajournal = "ACM Trans. Softw. Eng. Methodol.", articleno = "181", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Maes-Bermejo:2024:TPC, author = "Michel Maes-Bermejo and Micael Gallego and Francisco Gort{'a}zar and Gregorio Robles and Jesus M. Gonzalez-Barahona", title = "Testing the past: can we still run tests in past snapshots for {Java} projects?", journal = j-EMPIR-SOFTWARE-ENG, volume = "29", number = "5", pages = "??--??", month = sep, year = "2024", CODEN = "ESENFW", DOI = "https://doi.org/10.1007/s10664-024-10530-z", ISSN = "1382-3256 (print), 1573-7616 (electronic)", ISSN-L = "1382-3256", bibdate = "Tue Sep 17 11:31:37 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://link.springer.com/article/10.1007/s10664-024-10530-z", acknowledgement = ack-nhfb, ajournal = "Empir. Software. Eng.", articleno = "127", fjournal = "Empirical Software Engineering", journal-URL = "http://link.springer.com/journal/10664", }
@Article{Martins:2024:DTS, author = "Luana Martins and Heitor Costa and Ivan Machado", title = "On the diffusion of test smells and their relationship with test code quality of {Java} projects", journal = j-J-SOFTW-EVOL-PROC, volume = "36", number = "4", pages = "e2532:1--e2532:??", month = apr, year = "2024", CODEN = "????", DOI = "https://doi.org/10.1002/smr.2532", ISSN = "2047-7473 (print), 2047-7481 (electronic)", ISSN-L = "2047-7473", bibdate = "Sat May 25 07:47:43 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib", acknowledgement = ack-nhfb, ajournal = "J. Softw. Evol. Proc.", fjournal = "Journal of Software: Evolution and Process", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481", onlinedate = "18 January 2023", }
@Article{Misu:2024:SJB, author = "Md Rakib Hossain Misu and Rohan Achar and Cristina V. Lopes", title = "{SourcererJBF}: a {Java} Build Framework For Large-Scale Compilation", journal = j-TOSEM, volume = "33", number = "3", pages = "71:1--71:??", month = mar, year = "2024", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3635710", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Wed Apr 10 09:12:11 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3635710", abstract = "Researchers and tool developers working on dynamic analysis, software testing, automated program repair, verification, and validation, need large compiled, compilable, and executable code corpora to test their ideas. The publicly available corpora are \ldots{}", acknowledgement = ack-nhfb, ajournal = "ACM Trans. Softw. Eng. Methodol.", articleno = "71", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Nicolini:2024:UNJb, author = "Thiago Nicolini and Andre Hora and Eduardo Figueiredo", title = "On the Usage of New {JavaScript} Features Through Transpilers: The {Babel} Case", journal = j-IEEE-SOFTWARE, volume = "41", number = "1", pages = "105--112", month = jan # "\slash " # feb, year = "2024", CODEN = "IESOEG", DOI = "https://doi.org/10.1109/MS.2023.3243858", ISSN = "0740-7459 (print), 1937-4194 (electronic)", ISSN-L = "0740-7459", bibdate = "Fri Apr 5 17:15:50 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Software", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=52", keywords = "Browsers; Codes; Computer languages; Java; Program processors; Software development management; Syntactics", }
@Article{Pizzolotto:2024:MDB, author = "Davide Pizzolotto and Stefano Berlato and Mariano Ceccato", title = "Mitigating Debugger-based Attacks to {Java} Applications with Self-debugging", journal = j-TOSEM, volume = "33", number = "4", pages = "107:1--107:??", month = may, year = "2024", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3631971", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Wed Apr 24 13:33:37 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3631971", abstract = "Java bytecode is a quite high-level language and, as such, it is fairly easy to analyze and decompile with malicious intents, e.g., to tamper with code and skip license checks. Code obfuscation was a first attempt to mitigate malicious reverse-engineering \ldots{}", acknowledgement = ack-nhfb, ajournal = "ACM Trans. Softw. Eng. Methodol.", articleno = "107", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }
@Article{Sanchez:2024:MTP, author = "Ana B. S{'a}nchez and Jos{'e} A. Parejo and Sergio Segura and Amador Dur{'a}n and Mike Papadakis", title = "Mutation Testing in Practice: Insights From Open-Source Software Developers", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "5", pages = "1130--1143", month = may, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3377378", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Artificial intelligence; Codes; GitHub; Industries; Java; Mutation testing; mutation tools; qualitative study; Software development management; Surveys; Testing", }
@Article{Silva:2024:ECR, author = "Denini Silva and Martin Gruber and Satyajit Gokhale and Ellen Arteca and Alexi Turcotte and Marcelo d'Amorim and Wing Lam and Stefan Winter and Jonathan Bell", title = "The Effects of Computational Resources on Flaky Tests", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "12", pages = "3104--3121", month = dec, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3462251", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Codes; Continuous integration; Costs; Debugging; flaky tests; Java; Prevention and mitigation; Python; regression testing; Servers", }
@Article{Tiwari:2024:MPB, author = "Deepika Tiwari and Martin Monperrus and Benoit Baudry", title = "Mimicking Production Behavior With Generated Mocks", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "11", pages = "2921--2946", month = nov, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3458448", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Interviews; Java; Libraries; mock-based oracles; Mocks; Monitoring; Production; production monitoring; test generation; Test pattern generators; Testing", }
@Article{Toledo:2024:AUF, author = "Sivan Toledo", title = "{Algorithm 1051}: {UltimateKalman}, Flexible {Kalman} Filtering and Smoothing Using Orthogonal Transformations", journal = j-TOMS, volume = "50", number = "4", pages = "27:1--27:??", month = dec, year = "2024", CODEN = "ACMSCU", DOI = "https://doi.org/10.1145/3699958", ISSN = "0098-3500 (print), 1557-7295 (electronic)", ISSN-L = "0098-3500", bibdate = "Sat Dec 14 17:48:45 MST 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/toms.bib", URL = "https://dl.acm.org/doi/10.1145/3699958", abstract = "UltimateKalman is a flexible linear Kalman filter and smoother implemented in three popular programming languages: MATLAB, C, and Java. UltimateKalman is a slight simplification and slight generalization of an elegant Kalman filter and smoother that was proposed in 1977 by Paige and Saunders. Their algorithm appears to be numerically superior and more flexible than other Kalman filters and smoothers, but curiously has never been implemented or used before. UltimateKalman is flexible: it can easily handle time-dependent problems, problems with state vectors whose dimensions vary from step to step, problems with varying numbers of observations in different steps (or no observations at all in some steps), and problems in which the expectation of the initial state is unknown. The programming interface of UltimateKalman is broken into simple building blocks that can be used to construct filters, single or multi-step predictors, multi-step or whole-track smoothers, and combinations. The article describes the algorithm and its implementation as well as a test suite of examples and tests.", acknowledgement = ack-nhfb, ajournal = "ACM Trans. Math. Softw.", articleno = "27", fjournal = "ACM Transactions on Mathematical Software (TOMS)", journal-URL = "https://dl.acm.org/loi/toms", }
@Article{Wu:2024:TSF, author = "Mingyu Wu and Zhe Li and Haibo Chen and Binyu Zang and Shaojun Wang and Lei Yu and Sanhong Li and Haitao Song", title = "Toward an {SGX}-Friendly {Java} Runtime", journal = j-IEEE-TRANS-COMPUT, volume = "73", number = "1", pages = "44--57", month = jan, year = "2024", CODEN = "ITCOB4", DOI = "https://doi.org/10.1109/TC.2023.3318400", ISSN = "0018-9340 (print), 1557-9956 (electronic)", ISSN-L = "0018-9340", bibdate = "Wed Dec 27 15:37:27 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranscomput2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Comput.", fjournal = "IEEE Transactions on Computers", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=12", }
@Article{Xu:2024:FJE, author = "Haoran Xu and Yongjun Wang and Zhiyuan Jiang and Shuhui Fan and Shaojing Fu and Peidai Xie", title = "Fuzzing {JavaScript} engines with a syntax-aware neural program model", journal = j-COMPUT-SECUR, volume = "144", number = "??", pages = "??--??", month = sep, year = "2024", CODEN = "CPSEDU", DOI = "https://doi.org/10.1016/j.cose.2024.103947", ISSN = "0167-4048 (print), 1872-6208 (electronic)", ISSN-L = "0167-4048", bibdate = "Fri Aug 9 07:17:40 MDT 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167404824002529", acknowledgement = ack-nhfb, articleno = "103947", fjournal = "Computers & Security", journal-URL = "http://www.sciencedirect.com/science/journal/01674048", }
@Article{Xue:2024:ACM, author = "Pengyu Xue and Linhao Wu and Zhongxing Yu and Zhi Jin and Zhen Yang and Xinyi Li and Zhenyu Yang and Yue Tan", title = "Automated Commit Message Generation With Large Language Models: an Empirical Study and Beyond", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "12", pages = "3208--3224", month = dec, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3478317", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Codes; Collaboration; Commit message generation; Data models; empirical study; in-context learning; Java; large language model; Large language models; Manuals; Measurement; Python; Solid modeling; Systematics", }
@Article{Zhang:2024:ARN, author = "Zejun Zhang and Zhenchang Xing and Dehai Zhao and Xiwei Xu and Liming Zhu and Qinghua Lu", title = "Automated Refactoring of Non-Idiomatic {Python} Code With {Pythonic} Idioms", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "11", pages = "2827--2848", month = nov, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3420886", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/python.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "abstract syntax grammar; Australia; Benchmark testing; code refactoring; Codes; Grammar; Java; Programming; Python; Pythonic idioms; Reliability; Software development management; Syntactics", }
@Article{Zhang:2024:DVT, author = "Fangyuan Zhang and Lingling Fan and Sen Chen and Miaoying Cai and Sihan Xu and Lida Zhao", title = "Does the Vulnerability Threaten Our Projects? {Automated} Vulnerable {API} Detection for Third-Party Libraries", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "11", pages = "2906--2920", month = nov, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3454960", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Accuracy; Codes; Databases; Java; Libraries; Security; Software; software composition analysis; static analysis; Vulnerability detection", }
@Article{Zhao:2024:GJC, author = "Zelong Zhao and Nan Zhang and Bin Yu and Zhenhua Duan", title = "Generating {Java} code pairing with {ChatGPT}", journal = j-THEOR-COMP-SCI, volume = "1021", number = "??", pages = "??--??", day = "21", month = dec, year = "2024", CODEN = "TCSCDI", DOI = "https://doi.org/10.1016/j.tcs.2024.114879", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Mon Nov 18 12:30:48 MST 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tcs2020.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0304397524004961", acknowledgement = ack-nhfb, articleno = "114879", fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975", }
@Article{Zhou:2024:CGS, author = "Zhichao Zhou and Yuming Zhou and Chunrong Fang and Zhenyu Chen and Xiapu Luo and Jingzhu He and Yutian Tang", title = "Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "50", number = "4", pages = "854--883", month = apr, year = "2024", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3366613", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Aug 24 08:23:19 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Correlation; Diversity reception; Genetic algorithms; Java; Optimization; SBST; Software testing; software testing; test generation; Test pattern generators", }
@Article{Chen:2025:ZEM, author = "Zixian Chen and Weiping Wang and Yan Qin and Shigeng Zhang", title = "{ZipAST}: Enhancing malicious {JavaScript} detection with sequence compression", journal = j-COMPUT-SECUR, volume = "153", number = "??", pages = "??--??", month = jun, year = "2025", CODEN = "CPSEDU", DOI = "https://doi.org/10.1016/j.cose.2025.104390", ISSN = "0167-4048 (print), 1872-6208 (electronic)", ISSN-L = "0167-4048", bibdate = "Thu Mar 13 09:24:40 MDT 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.sciencedirect.com/science/article/pii/S0167404825000793", acknowledgement = ack-nhfb, ajournal = "Comput. Secur.", articleno = "104390", fjournal = "Computers & Security", journal-URL = "http://www.sciencedirect.com/science/journal/01674048", }
@Article{Collet:2025:VEC, author = "Philippe Collet and Johann Mortara and Yann Brault and Anne-Marie Dery-Pinna", title = "The {VariCity} ecosystem: City visualization of object-oriented variability in {Java} and {TypeScript}", journal = j-SCI-COMPUT-PROGRAM, volume = "240", number = "??", pages = "??--??", month = feb, year = "2025", CODEN = "SCPGD4", DOI = "https://doi.org/10.1016/j.scico.2024.103210", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", bibdate = "Sat Nov 23 14:16:39 MST 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0167642324001333", acknowledgement = ack-nhfb, articleno = "103210", fjournal = "Science of Computer Programming", journal-URL = "http://www.sciencedirect.com/science/journal/01676423", }
@Article{Csuvik:2025:GBS, author = "Viktor Csuvik and D{'a}niel Horv{'a}th and M{'a}rk Lajk{'o} and L{'a}szl{'o} Vid{'a}cs", title = "{GenProgJS}: a Baseline System for Test-Based Automated Repair of {JavaScript} Programs", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "51", number = "2", pages = "325--343", month = feb, year = "2025", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3497798", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Automated program repair (APR); Codes; Computer bugs; genetic algorithm; Genetic operators; Genetics; Java; Maintenance engineering; Software; Software algorithms; software debugging; Software development management; Source coding", }
@Article{Fraser:2025:RWT, author = "Gordon Fraser and Andrea Arcuri", title = "A Retrospective on Whole Test Suite Generation: On the Role of {SBST} in the Age of {LLMs}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "51", number = "3", pages = "874--878", month = mar, year = "2025", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2025.3539458", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Tue Mar 25 08:57:56 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "EvoMaster; EvoSuite; Java; LLM; Optimization; Pynguin; Python; SBST; Search problems; Software; Software algorithms; Software engineering; Software testing; System testing; Test pattern generators", }
@Article{Huang:2025:TIP, author = "Yuan Huang and Jinbo Huang and Xiangping Chen and Zibin Zheng", title = "Towards Improving the Performance of Comment Generation Models by Using Bytecode Information", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "51", number = "2", pages = "503--520", month = feb, year = "2025", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3523713", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "bytecode; Code comment; Codes; comment generation; control flow graph; Data mining; Data models; Flow graphs; Java; Neural networks; Software engineering; Source coding; Training; Transformers", }
@Article{Kohler:2025:CLF, author = "Mirko K{"o}hler and George Zakhour and Pascal Weisenburger and Guido Salvaneschi", title = "Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "51", number = "1", pages = "53--65", month = jan, year = "2025", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3477723", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "consistency; CRDT; Data structures; Java; Libraries; Logic; Merging; Middleware; Replication; Safety; Scalability; Software; Synchronization; verification", }
@Article{Narechania:2025:PLU, author = "Arpit Narechania and Kaustubh Odak and Mennatallah El-Assady and Alex Endert", title = "{ProvenanceWidgets}: a Library of {UI} Control Elements to Track and Dynamically Overlay Analytic Provenance", journal = j-IEEE-TRANS-VIS-COMPUT-GRAPH, volume = "31", number = "1", pages = "1235--1245", month = jan, year = "2025", CODEN = "ITVGEA", DOI = "https://doi.org/10.1109/TVCG.2024.3456144", ISSN = "1077-2626", ISSN-L = "1077-2626", bibdate = "Thu Jan 9 07:28:30 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetransviscomputgraph2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Visualization and Computer Graphics", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2945", keywords = "Analytic provenance; Data analysis; Data visualization; Games; GUI elements; History; JavaScript library; Libraries; Phosphors; Provenance; UI controls; Visualization", }
@Article{Palma:2025:FSH, author = "Marco Edoardo Palma and Alex Wolf and Pasquale Salza and Harald C. Gall", title = "On-the-Fly Syntax Highlighting: Generalisation and Speed-Ups", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "51", number = "2", pages = "355--370", month = feb, year = "2025", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3506040", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Accuracy; Analytical models; Codes; Computational modeling; Convolutional neural networks; deep learning; Grammar; Java; neural networks; Predictive models; regular expressions; Source coding; Syntactics; Syntax highlighting", }
@Article{Tang:2025:DCE, author = "Yixuan Tang and Jingxuan Zhang and Xiaochen Li and Zhiqiu Huang and He Jiang", title = "Detecting Compiler Error Recovery Defects via Program Mutation Exploration", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "51", number = "2", pages = "389--412", month = feb, year = "2025", CODEN = "IESEDJ", DOI = "https://doi.org/10.1109/TSE.2024.3510912", ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Fri Mar 14 08🔞57 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", acknowledgement = ack-nhfb, ajournal = "IEEE Trans. Softw. Eng.", fjournal = "IEEE Transactions on Software Engineering", journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32", keywords = "Codes; Compiler testing; Computer languages; differential testing; Internet; Java; Periodic structures; program mutation; Program processors; Programming; Software; Software development management; test program generation; Testing", }
@Article{Troussas:2025:RLB, author = "Christos Troussas and Akrivi Krouska and Phivos Mylonas and Cleo Sgouropoulou", title = "Reinforcement Learning-Based Dynamic Fuzzy Weight Adjustment for Adaptive User Interfaces in Educational Software", journal = j-FUTURE-INTERNET, volume = "17", number = "4", pages = "166", day = "9", month = apr, year = "2025", CODEN = "????", DOI = "https://doi.org/10.3390/fi17040166", ISSN = "1999-5903", bibdate = "Mon Apr 28 09:37:50 MDT 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib; https://www.math.utah.edu/pub/tex/bib/java2020.bib", URL = "https://www.mdpi.com/1999-5903/17/4/166", abstract = "Adaptive educational systems are essential for addressing the diverse learning needs of students by dynamically adjusting instructional content and user interfaces (UI) based on real-time performance. Traditional adaptive learning environments often rely on static fuzzy logic rules, which lack the flexibility to evolve with learners' changing behaviors. To address this limitation, this paper presents an adaptive UI system for educational software in Java programming, integrating fuzzy logic and reinforcement learning (RL) to personalize learning experiences. The system consists of two main modules: (a) the Fuzzy Inference Module, which classifies learners into Fast, Moderate, or Slow categories based on triangular membership functions, and (b) the Reinforcement Learning Optimization Module, which dynamically adjusts the fuzzy membership function thresholds to enhance personalization over time. By refining the timing and necessity of UI modifications, the system optimizes hints, difficulty levels, and structured guidance, ensuring interventions are neither premature nor delayed. The system was evaluated in educational software for Java programming, with 100 postgraduate students. The evaluation, based on learning efficiency, engagement, and usability metrics, demonstrated promising results, particularly for slow and moderate learners, confirming that reinforcement learning-driven fuzzy weight adjustments significantly improve adaptive UI effectiveness.", acknowledgement = ack-nhfb, journal-URL = "https://www.mdpi.com/journal/futureinternet", }
@Article{Wang:2025:ESB, author = "Ziyuan Wang and Yun Fang and Nannan Wang", title = "An empirical study on bugs in {TypeScript} programming language", journal = j-J-SYST-SOFTW, volume = "226", number = "??", pages = "??--??", month = aug, year = "2025", CODEN = "JSSODM", DOI = "https://doi.org/10.1016/j.jss.2025.112445", ISSN = "0164-1212 (print), 1873-1228 (electronic)", ISSN-L = "0164-1212", bibdate = "Sat Apr 19 16:06:18 MDT 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib", URL = "https://www.sciencedirect.com/science/article/pii/S016412122500113X", acknowledgement = ack-nhfb, ajournal = "J. Syst. Softw.", articleno = "112445", fjournal = "Journal of Systems and Software", journal-URL = "http://www.sciencedirect.com/science/journal/01641212", }
@Article{Zhong:2025:BCP, author = "Wenkang Zhong and Chuanyi Li and Kui Liu and Jidong Ge and Bin Luo and Tegawend{'e} F. Bissyand{'e} and Vincent Ng", title = "Benchmarking and Categorizing the Performance of Neural Program Repair Systems for {Java}", journal = j-TOSEM, volume = "34", number = "1", pages = "11:1--11:??", month = jan, year = "2025", CODEN = "ATSMER", DOI = "https://doi.org/10.1145/3688834", ISSN = "1049-331X (print), 1557-7392 (electronic)", ISSN-L = "1049-331X", bibdate = "Tue Feb 4 06:23:17 MST 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib; https://www.math.utah.edu/pub/tex/bib/tosem.bib", URL = "https://dl.acm.org/doi/10.1145/3688834", abstract = "Recent years have seen a rise in Neural Program Repair (NPR) systems in the software engineering community, which adopt advanced deep learning techniques to automatically fix bugs. Having a comprehensive understanding of existing systems can facilitate \ldots{}", acknowledgement = ack-nhfb, ajournal = "ACM Trans. Softw. Eng. Methodol.", articleno = "11", fjournal = "ACM Transactions on Software Engineering and Methodology", journal-URL = "https://dl.acm.org/loi/tosem", }