Search Results - Software/Program Verification— Programming by contract

Foundations of Session Types and Behavioural Contracts

Authors: Hüttel, Hans LANESE, IVAN Vasconcelos, Vasco T. et al.

Contributors: Hüttel, Hans LANESE, IVAN Vasconcelos, Vasco T. et al.

Source: Huttel, H, Lanese, I, T. Vasconcelos, V, Caires, L, Carbone, M, Denielou, P-M, Mostrous, D, Padovani, L, Ravara, A, Tuosto, E, Torres Vieira, H & Zavattaro, G 2016, 'Foundations of Session Types and Behavioural Contracts', A C M Computing Surveys, vol. 49, no. 1, 3. https://doi.org/10.1145/2873052
Huttel, H, Lanese, I, Vasconcelos, V, Caires, L, Carbone, M, Danielou, P-M, Mostrous, D, Padovani, L, Rabara, A, Tuosto, E, Vieira, H T & Zavattaro, G 2016, 'Foundations of Session Types and Behavioural Contracts', A C M Computing Surveys, vol. 49, no. 1, 3, pp. 1. < http://dx.doi.org/10.1145/2873052 >

Subject Terms: Behavioural types, Theoretical Computer Science, Computer Science (all), Language Constructs and Features, QA75 Electronic computers. Computer science, Software/Program Verification, Session types, Type systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], 3. Good health, 0202 electrical engineering, electronic engineering, information engineering, Choreographies, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: http://dl.acm.org/ft_gateway.cfm?id=2873052&type=pdf
https://vbn.aau.dk/da/publications/foundations-of-session-types-and-behavioural-contracts(cc6e824e-cedb-404e-81eb-209f09ecce4b).html
https://dblp.uni-trier.de/db/journals/csur/csur49.html#HuttelLVCCDMPRT16
https://cris.unibo.it/handle/11585/567439
https://iris.unito.it/handle/2318/1610220
https://doi.org/10.1145/2873052
https://hal.archives-ouvertes.fr/hal-01336707/document
https://pure.itu.dk/portal/da/publications/00497cf7-6363-4287-8c78-1294747afa18

MLFuzzer: a fuzzing approach based on generative adversarial networks and BiLSTM for detecting vulnerabilities in smart contracts.

Authors: Ali, Ghazi Mergani Ahmead Chen, Hongsong

Source: Cluster Computing; Oct2025, Vol. 28 Issue 5, p1-14, 14p

Subject Terms: GENERATIVE adversarial networks, LONG short-term memory, MACHINE learning, COMPUTERS, PROGRAMMING languages, BLOCKCHAINS

Blockchain-based solution to enhance carbon footprint traceability, accounting, and offsetting in the passenger aviation industry.

Authors: Patro, Pratyush Kumar Jayaraman, Raja Acquaye, Adolf et al.

Source: International Journal of Production Research; Nov2025, Vol. 63 Issue 22, p8235-8268, 34p

Subject Terms: BLOCKCHAINS, AIRCRAFT industry, ORGANIZATIONAL accountability, GREENHOUSE gas mitigation, ENVIRONMENTAL management, ECOLOGICAL impact, ENVIRONMENTAL impact analysis

Modular Verification for Aspect-Oriented Interfaces

Authors: Mehdi Bagherzadeh Hridesh Rajan Gary T. Leavens et al.

Contributors: Mehdi Bagherzadeh Hridesh Rajan Gary T. Leavens et al.

Source: http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf.

Subject Terms: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2331

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2331
http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf

Software change contracts

Authors: Dawei Qi Jooyong Yi Abhik Roychoudhury et al.

Contributors: Dawei Qi Jooyong Yi Abhik Roychoudhury et al.

Source: http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf.

Subject Terms: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Languages, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Software Evolution, Regression Testing, Change Contract, JML

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983; http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983
http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf

A Flexible Programming and Verification Methodology for Reconfigurable CNC Woodworking Machine.

Authors: Zivanovic, Sasa Zoran Dimic Furtula, Mladen et al.

Source: BioResources; 2024, Vol. 19 Issue 4, p9708-9726, 20p

Subject Terms: VIRTUAL machine systems, NUMERICAL control of machine tools, VIRTUAL reality, WOODWORK, MACHINING, CAD/CAM systems

Liability in software engineering: overview of the LISE approach and illustration on a case study

Authors: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis et al.

Contributors: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis et al.

Source: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. :135-144

Subject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Legal Aspects, Specication, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 16. Peace & justice, Formal Methods, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, Specification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Liability, 0202 electrical engineering, electronic engineering, information engineering, Defects, Contract, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, Evidence

File Description: application/pdf

Access URL: https://hal.inria.fr/inria-00472287/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://inria.hal.science/inria-00440437v1
https://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#MetayerMTMPCFH10
https://hal.inria.fr/inria-00440437/document
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006062081
https://hal.archives-ouvertes.fr/inria-00440437/en/
https://ieeexplore.ieee.org/document/6062081/
https://dl.acm.org/doi/10.1145/1806799.1806823

AGTS: Novel automated generation of smart contract test suites for Hyperledger Fabric.

Authors: Liu, Lixue Gu, Qiqi Ke, Wei

Source: Scientific Reports; 8/13/2025, Vol. 15 Issue 1, p1-15, 15p

Subject Terms: QUALITY assurance, BLOCKCHAINS, CRYPTOCURRENCIES, DYNAMIC testing, PENETRATION testing (Computer security)

Enhanced extended static checking in JML4: Benefits of multiple-prover support

Authors: Perry R. James Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Contributors: Perry R. James Patrice Chalin The Pennsylvania State University CiteSeerX Archives

Source: http://users.encs.concordia.ca/~chalin/papers/JamesChalin09-ACM-SAC-SVT09-preprint.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Programming by contract, Correctness proofs, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification Keywords extended stat, static verification, theorem provers, Java Modeling Language, JML4, ESC, ESC4

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.2399

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.2399
http://users.encs.concordia.ca/~chalin/papers/JamesChalin09-ACM-SAC-SVT09-preprint.pdf

A survey on automation approaches of smart contract generation.

Authors: Mars, Rawya Cheikhrouhou, Saoussen Kallel, Slim et al.

Source: Journal of Supercomputing; Sep2023, Vol. 79 Issue 14, p16065-16097, 33p

Subject Terms: DATA privacy, AUTOMATIC classification, COMPUTER software, COMPUTER systems, CONTRACTS, BLOCKCHAINS

A Specification-based Approach to Testing Software Product Lines

Authors: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid et al.

Contributors: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid et al.

Source: http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.2.4 [Software Engineering, Software/Program Verification— programming by contract General Terms, Reliability, Verification, Design Keywords, Product-lines, specification-based testing, test data generation, GenVoca, AHEAD, Alloy

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6338; http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6338
http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf

A Survey of Smart Contract Formal Specification and Verification.

Authors: TOLMACH, PALINA YI LI SHANG-WEI LIN et al.

Source: ACM Computing Surveys; Sep2022, Vol. 54 Issue 7, p1-38, 38p

Subject Terms: BLOCKCHAINS, CONTRACTS, COMPUTER software, SUPPLY chains

Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts.

Authors: Mustafa, Iqra McGibney, Alan Rea, Susan

Source: Frontiers in Blockchain; 2024, p01-19, 19p

Subject Terms: CONTRACT management, INDUSTRIAL engineering, ENGINEERING management, PETRI nets, CONTRACTS

On the effectiveness of contracts as test oracles in the detection and diagnosis of functional faults in concurrent object-oriented software

Authors: Araujo, W. (Wladimir) Briand, L.C. (Lionel C.) Labiche, Y. (Yvan)

Source: IEEE Transactions on Software Engineering vol. 40 no. 10, pp. 971-992

Subject Terms: Concurrent programming, object-oriented programming, Software Quality/SQA-Measurement applied to SQA and V and V, Software/Program Verification-Programming by contract

Relation: https://ir.library.carleton.ca/pub/8027

Availability: https://ir.library.carleton.ca/pub/8027
https://doi.org/10.1109/TSE.2014.2339829

String Matching at Scale: A call for interdisciplinary collaboration and better-directed resources.

Authors: Roellke, Dennis

Source: ACM Queue; Jan/Feb2025, Vol. 23 Issue 1, p108-119, 12p

Subject Terms: SOURCE code, TRUST, SOFTWARE verification, INTERDISCIPLINARY research, SOFTWARE development tools, SOFTWARE libraries (Computer programming)

A large‐scale empirical study of low‐level function use in Ethereum smart contracts and automated replacement.

Authors: Xi, Rui Pattabiraman, Karthik

Source: Software: Practice & Experience; Mar2023, Vol. 53 Issue 3, p631-664, 34p

Subject Terms: EMPIRICAL research, CONTRACTS, COMPILERS (Computer programs), PROGRAMMING languages

Survey on Quality Assurance of Smart Contracts.

Authors: Wei, Zhiyuan Sun, Jing Zhang, Zijian et al.

Source: ACM Computing Surveys; Feb2025, Vol. 57 Issue 2, p1-36, 36p

Subject Terms: GRAPH neural networks, CONVOLUTIONAL neural networks, LANGUAGE models, MACHINE learning, COMPUTER networks, BLOCKCHAINS, DEEP learning

Exploring a Blockchain-Empowered Framework for Enhancing the Distributed Agile Software Development Testing Life Cycle.

Authors: Farooq, Muhammad Shoaib Qureshi, Junaid Nasir Ahmed, Fatima et al.

Source: Inventions (2411-5134); Aug2025, Vol. 10 Issue 4, p49, 38p

Subject Terms: BLOCKCHAINS, AGILE software development, COOPERATION, COMPUTER software testing, DISCLOSURE, INFORMATION technology security

Packet processing and data plane program verification: A survey with tools, techniques, and challenges.

Authors: Akarte, Harishchandra A. Yadav, Dharmendra K.

Source: International Journal of Communication Systems; 9/25/2023, Vol. 36 Issue 14, p1-27, 27p

Subject Terms: DATA packeting, SOFTWARE-defined networking, DOMAIN-specific programming languages, ELECTRONIC data processing

GethReplayer: a smart contract testing method based on transaction replay.

Authors: Shi, Xiaohong Wang, Ziyan Zhong, Runlu et al.

Source: International Journal of Web Information Systems; 2024, Vol. 20 Issue 4, p358-373, 16p