ATE541260T1 - Verfahren für rechnerunterstütztes testen von softwareanwendungskomponenten - Google Patents

Verfahren für rechnerunterstütztes testen von softwareanwendungskomponenten

Info

Publication number
ATE541260T1
ATE541260T1 AT00977122T AT00977122T ATE541260T1 AT E541260 T1 ATE541260 T1 AT E541260T1 AT 00977122 T AT00977122 T AT 00977122T AT 00977122 T AT00977122 T AT 00977122T AT E541260 T1 ATE541260 T1 AT E541260T1
Authority
AT
Austria
Prior art keywords
software application
application components
computer aid
transaction
testing
Prior art date
Application number
AT00977122T
Other languages
English (en)
Inventor
Jeffrey Walker
Samer Diab
Adam Slovik
Original Assignee
Tenfold Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Tenfold Corp filed Critical Tenfold Corp
Application granted granted Critical
Publication of ATE541260T1 publication Critical patent/ATE541260T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S707/00—Data processing: database and file management or data structures
    • Y10S707/99931—Database or file accessing
    • Y10S707/99933—Query processing, i.e. searching
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S707/00—Data processing: database and file management or data structures
    • Y10S707/99941—Database schema or data structure
    • Y10S707/99944—Object-oriented database structure
    • Y10S707/99945—Object-oriented database structure processing

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Train Traffic Observation, Control, And Security (AREA)
AT00977122T 1999-11-10 2000-11-10 Verfahren für rechnerunterstütztes testen von softwareanwendungskomponenten ATE541260T1 (de)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/437,274 US6301701B1 (en) 1999-11-10 1999-11-10 Method for computer-assisted testing of software application components
PCT/US2000/030854 WO2001035219A1 (en) 1999-11-10 2000-11-10 Method for computer-assisted testing of software application components

Publications (1)

Publication Number Publication Date
ATE541260T1 true ATE541260T1 (de) 2012-01-15

Family

ID=23735777

Family Applications (1)

Application Number Title Priority Date Filing Date
AT00977122T ATE541260T1 (de) 1999-11-10 2000-11-10 Verfahren für rechnerunterstütztes testen von softwareanwendungskomponenten

Country Status (7)

Country Link
US (1) US6301701B1 (de)
EP (2) EP1236104B1 (de)
AT (1) ATE541260T1 (de)
AU (2) AU776850B2 (de)
CA (1) CA2391125C (de)
CY (1) CY1112752T1 (de)
WO (1) WO2001035219A1 (de)

Families Citing this family (124)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3658514B2 (ja) * 1999-01-28 2005-06-08 富士通株式会社 帳票プログラム作成装置
US7062456B1 (en) 1999-02-09 2006-06-13 The Chase Manhattan Bank System and method for back office processing of banking transactions using electronic files
US6981180B1 (en) * 2000-03-16 2005-12-27 Akamai Technologies, Inc. Method and apparatus for testing request-response service using live connection traffic
CN1206593C (zh) * 2000-06-14 2005-06-15 精工爱普生株式会社 自动评价方法及自动评价系统
US6662312B1 (en) * 2000-06-30 2003-12-09 Qwest Communications International Inc. Software-testing automation system
US7024592B1 (en) * 2000-08-07 2006-04-04 Cigital Method for reducing catastrophic failures in continuously operating software systems
EP1179776A1 (de) * 2000-08-11 2002-02-13 Sony Service Centre (Europe) N.V. Automatische Prüfungsstruktur
US7328211B2 (en) 2000-09-21 2008-02-05 Jpmorgan Chase Bank, N.A. System and methods for improved linguistic pattern matching
US20020091968A1 (en) * 2001-01-08 2002-07-11 Donald Moreaux Object-oriented data driven software GUI automated test harness
US20060265475A9 (en) * 2001-03-19 2006-11-23 Thomas Mayberry Testing web services as components
US20030061195A1 (en) * 2001-05-02 2003-03-27 Laborde Guy Vachon Technical data management (TDM) framework for TDM applications
US6829733B2 (en) 2001-05-07 2004-12-07 National Instruments Corporation System and method for graphically detecting differences between test executive sequence files
AU2002312210A1 (en) * 2001-06-04 2002-12-16 Sentiat Technologies, Inc. System and process for constructing and analyzing profiles for an application
US8234156B2 (en) 2001-06-28 2012-07-31 Jpmorgan Chase Bank, N.A. System and method for characterizing and selecting technology transition options
US6966013B2 (en) * 2001-07-21 2005-11-15 International Business Machines Corporation Method and system for performing automated regression tests in a state-dependent data processing system
US6785361B1 (en) 2001-08-30 2004-08-31 Bellsouth Intellectual Property Corporation System and method for performance measurement quality assurance
US20030046029A1 (en) * 2001-09-05 2003-03-06 Wiener Jay Stuart Method for merging white box and black box testing
US20030066048A1 (en) * 2001-09-28 2003-04-03 International Business Machines Corporation Computer controlled display system for controlling and tracking of software program objects through a displayed sequence of build events and enabling user registration to perform actions on said build events
US7299382B2 (en) * 2002-04-29 2007-11-20 Sun Microsystems, Inc. System and method for automatic test case generation
US7987246B2 (en) * 2002-05-23 2011-07-26 Jpmorgan Chase Bank Method and system for client browser update
US7096459B2 (en) * 2002-09-11 2006-08-22 International Business Machines Corporation Methods and apparatus for root cause identification and problem determination in distributed systems
US7334219B2 (en) * 2002-09-30 2008-02-19 Ensco, Inc. Method and system for object level software testing
US7210128B2 (en) * 2002-10-14 2007-04-24 Fujitsu Limited Event-driven observability enhanced coverage analysis
US7340650B2 (en) * 2002-10-30 2008-03-04 Jp Morgan Chase & Co. Method to measure stored procedure execution statistics
US7020804B2 (en) * 2002-12-03 2006-03-28 Lockheed Martin Corporation Test data generation system for evaluating data cleansing applications
US7484087B2 (en) * 2003-02-24 2009-01-27 Jp Morgan Chase Bank Systems, methods, and software for preventing redundant processing of transmissions sent to a remote host computer
US20040181670A1 (en) * 2003-03-10 2004-09-16 Carl Thune System and method for disguising data
US7139929B2 (en) * 2003-04-01 2006-11-21 Fujitsu Limited Generating a test environment for validating a network design
US7216337B2 (en) * 2003-04-14 2007-05-08 Microsoft Corporation Automatic determination of invalid call sequences in software components
US7596778B2 (en) * 2003-07-03 2009-09-29 Parasoft Corporation Method and system for automatic error prevention for computer software
US7178063B1 (en) * 2003-07-22 2007-02-13 Hewlett-Packard Development Company, L.P. Method and apparatus for ordering test cases for regression testing
WO2005015361A2 (en) 2003-08-08 2005-02-17 Jp Morgan Chase Bank System for archive integrity management and related methods
US7516139B2 (en) 2003-09-19 2009-04-07 Jp Morgan Chase Bank Processing of tree data structures
US7454660B1 (en) * 2003-10-13 2008-11-18 Sap Ag System and method for testing applications at the business layer
JP2007535723A (ja) * 2003-11-04 2007-12-06 キンバリー クラーク ワールドワイド インコーポレイテッド 複合ソフトウエアシステムを実施して検証するための自動多次元追跡可能性行列を含む試験ツール
US7337432B2 (en) 2004-02-03 2008-02-26 Sharp Laboratories Of America, Inc. System and method for generating automatic test plans for graphical user interface applications
US7702767B2 (en) 2004-03-09 2010-04-20 Jp Morgan Chase Bank User connectivity process management system
US20050229162A1 (en) * 2004-03-31 2005-10-13 Microsoft Corporation Systems and methods for providing multi-environment test automation
US20050234708A1 (en) * 2004-04-19 2005-10-20 Nuvotec, Inc. Notation enabling all activity between a system and a user to be defined, and methods for using the same
US7278056B2 (en) * 2004-06-09 2007-10-02 International Business Machines Corporation Methods, systems, and media for management of functional verification
US7665127B1 (en) 2004-06-30 2010-02-16 Jp Morgan Chase Bank System and method for providing access to protected services
US7366974B2 (en) 2004-09-03 2008-04-29 Jp Morgan Chase Bank System and method for managing template attributes
CN100351811C (zh) * 2004-11-15 2007-11-28 华为技术有限公司 一种软件产品健壮性的测试方法及装置
US7546585B2 (en) * 2005-01-24 2009-06-09 International Business Machines Corporation Method, system and computer program product for testing computer programs
US7552036B2 (en) * 2005-04-15 2009-06-23 Microsoft Corporation Preconditioning for stochastic simulation of computer system performance
US7979520B2 (en) * 2005-04-15 2011-07-12 Microsoft Corporation Prescriptive architecture recommendations
US7689616B2 (en) * 2005-04-15 2010-03-30 Microsoft Corporation Techniques for specifying and collecting data aggregations
US7689973B2 (en) * 2005-05-23 2010-03-30 Alcatel-Lucent Usa Inc. Language for development of test harness files
US7702958B2 (en) * 2005-05-24 2010-04-20 Alcatel-Lucent Usa Inc. Auto-recording tool for developing test harness files
US7890806B2 (en) * 2005-05-24 2011-02-15 Alcatel-Lucent Usa, Inc. Auto-executing tool for developing test harness files
US8185877B1 (en) * 2005-06-22 2012-05-22 Jpmorgan Chase Bank, N.A. System and method for testing applications
US20070050676A1 (en) * 2005-08-24 2007-03-01 Suresoft Technologies Inc. Software testing device and method, and computer readable recording medium for recording program executing software testing
US8572516B1 (en) 2005-08-24 2013-10-29 Jpmorgan Chase Bank, N.A. System and method for controlling a screen saver
US8065606B1 (en) 2005-09-16 2011-11-22 Jpmorgan Chase Bank, N.A. System and method for automating document generation
US7996255B1 (en) * 2005-09-29 2011-08-09 The Mathworks, Inc. System and method for providing sales leads based on-demand software trial usage
US8032790B2 (en) * 2005-10-27 2011-10-04 International Business Machines Corporation Testing of a system logging facility using randomized input and iteratively changed log parameters
US20070101196A1 (en) * 2005-11-01 2007-05-03 Rogers William A Functional testing and verification of software application
US8181016B1 (en) 2005-12-01 2012-05-15 Jpmorgan Chase Bank, N.A. Applications access re-certification system
US7694181B2 (en) 2005-12-12 2010-04-06 Archivas, Inc. Automated software testing framework
US7873944B2 (en) * 2006-02-22 2011-01-18 International Business Machines Corporation System and method for maintaining and testing a software application
US7913249B1 (en) 2006-03-07 2011-03-22 Jpmorgan Chase Bank, N.A. Software installation checker
US7895565B1 (en) 2006-03-15 2011-02-22 Jp Morgan Chase Bank, N.A. Integrated system and method for validating the functionality and performance of software applications
US8050793B1 (en) * 2006-04-04 2011-11-01 Advanced Micro Devices, Inc. Method and apparatus for linking reticle manufacturing data
US7917524B2 (en) * 2006-06-27 2011-03-29 Sap Ag Systems and methods for providing a mockup data generator
US7823130B2 (en) * 2006-09-22 2010-10-26 Sap Ag Testing machine-readable instructions
US8276126B2 (en) * 2006-11-08 2012-09-25 Oracle America, Inc. Determining causes of software regressions based on regression and delta information
US8104076B1 (en) 2006-11-13 2012-01-24 Jpmorgan Chase Bank, N.A. Application access control system
US7797136B2 (en) * 2006-12-20 2010-09-14 Sap Ag Metrics to evaluate process objects
US8010401B1 (en) * 2007-01-30 2011-08-30 Intuit Inc. Method and system for market research
US7958495B2 (en) * 2007-03-08 2011-06-07 Systemware, Inc. Program test system
US20080244322A1 (en) * 2007-03-27 2008-10-02 Tim Kelso Program Test System
US20080244524A1 (en) * 2007-03-27 2008-10-02 Tim Kelso Program Test System
US20080244323A1 (en) * 2007-03-27 2008-10-02 Tim Kelso Program Test System
US20080244320A1 (en) * 2007-03-27 2008-10-02 Tim Kelso Program Test System
CN101075208B (zh) * 2007-07-19 2011-04-06 中兴通讯股份有限公司 应用于白盒路径测试的测试用例生成方法
US20090083325A1 (en) * 2007-09-24 2009-03-26 Infosys Technologies, Ltd. System and method for end to end testing solution for middleware based applications
US8448138B2 (en) * 2008-01-15 2013-05-21 Microsoft Corporation Recording user-driven events within a computing system
US7536648B1 (en) * 2008-03-31 2009-05-19 International Business Machines Corporation Method for automatically updating graphic user interface (GUI) objects
US7890538B2 (en) * 2008-05-09 2011-02-15 International Business Machines Corporation System and method for converting and storing data values
US7885985B2 (en) * 2008-05-09 2011-02-08 International Business Machines Corporation System and method for building a datastore for storing and retrieving regression testing data for a complex application
US8141029B2 (en) * 2008-05-12 2012-03-20 Expressor Software Method and system for executing a data integration application using executable units that operate independently of each other
US8191048B2 (en) * 2008-11-21 2012-05-29 Oracle America, Inc. Automated testing and qualification of software-based, network service products
US20100162215A1 (en) * 2008-12-18 2010-06-24 International Business Machines Corporation Enabling automated real-time metrics during the software development process
US20100235807A1 (en) * 2009-03-16 2010-09-16 Hitachi Data Systems Corporation Method and system for feature automation
US8489930B1 (en) * 2010-01-20 2013-07-16 Instavia Software, Inc. Method and system for creating virtual editable data objects by using a read-only data set as baseline
US8614716B2 (en) 2010-10-01 2013-12-24 Apple Inc. Recording a command stream with a rich encoding format for capture and playback of graphics content
US9038177B1 (en) 2010-11-30 2015-05-19 Jpmorgan Chase Bank, N.A. Method and system for implementing multi-level data fusion
EP2676202A4 (de) 2011-02-18 2018-01-17 EntIT Software LLC Erstellung von testdaten
US9588879B2 (en) 2011-03-15 2017-03-07 Hewlett Packard Enterprise Development Lp Usability testing
US9292588B1 (en) 2011-07-20 2016-03-22 Jpmorgan Chase Bank, N.A. Safe storing data for disaster recovery
US8874598B2 (en) * 2011-07-21 2014-10-28 Sap Se Method and system for an executable specification
US8756573B2 (en) 2012-07-06 2014-06-17 Amazon Technologies, Inc. Digital item ingestion process
US10387294B2 (en) 2012-10-12 2019-08-20 Vmware, Inc. Altering a test
US9292422B2 (en) 2012-10-12 2016-03-22 Vmware, Inc. Scheduled software item testing
US10067858B2 (en) 2012-10-12 2018-09-04 Vmware, Inc. Cloud-based software testing
US9684587B2 (en) * 2012-10-12 2017-06-20 Vmware, Inc. Test creation with execution
US9292416B2 (en) 2012-10-12 2016-03-22 Vmware, Inc. Software development kit testing
US10002041B1 (en) 2013-02-01 2018-06-19 Jpmorgan Chase Bank, N.A. System and method for maintaining the health of a machine
US9720655B1 (en) 2013-02-01 2017-08-01 Jpmorgan Chase Bank, N.A. User interface event orchestration
US9088459B1 (en) 2013-02-22 2015-07-21 Jpmorgan Chase Bank, N.A. Breadth-first resource allocation system and methods
US10540373B1 (en) 2013-03-04 2020-01-21 Jpmorgan Chase Bank, N.A. Clause library manager
US9619410B1 (en) 2013-10-03 2017-04-11 Jpmorgan Chase Bank, N.A. Systems and methods for packet switching
US9542259B1 (en) 2013-12-23 2017-01-10 Jpmorgan Chase Bank, N.A. Automated incident resolution system and method
CN103777949A (zh) * 2014-01-17 2014-05-07 浪潮电子信息产业股份有限公司 一种自动化测试脚本的设计方法
US9868054B1 (en) 2014-02-10 2018-01-16 Jpmorgan Chase Bank, N.A. Dynamic game deployment
US9239899B2 (en) * 2014-03-11 2016-01-19 Wipro Limited System and method for improved transaction based verification of design under test (DUT) to minimize bogus fails
US9645916B2 (en) * 2014-05-30 2017-05-09 Apple Inc. Performance testing for blocks of code
US9971673B2 (en) 2014-07-24 2018-05-15 International Business Machines Corporation System and method for testing software in a multi-platform testing environment
CN105335142B (zh) * 2014-07-29 2019-03-15 国际商业机器公司 在事务处理系统中标识事务的性能瓶颈的方法和装置
GB2533117A (en) * 2014-12-10 2016-06-15 Ibm Software test automation
US10210075B2 (en) * 2015-05-08 2019-02-19 Mastercard International Incorporated Systems and methods for automating test scripts for applications that interface to payment networks
US9405665B1 (en) * 2015-05-22 2016-08-02 Amazon Technologies, Inc. Application testing based on user input captured during a trial period and priority scheme analysis
US10146676B1 (en) * 2015-06-26 2018-12-04 Twitter, Inc. Multi-version regression tester for source code
RU2678717C9 (ru) * 2017-11-09 2019-04-12 Российская Федерация, от имени которой выступает Государственная корпорация по космической деятельности "РОСКОСМОС" Комплекс автоматизации и визуализации тестирования встроенного программного обеспечения электронных устройств
US10346284B1 (en) * 2018-01-11 2019-07-09 Microsoft Technology Licensing, Llc Feature usage prediction using shell application feature telemetry
US11023442B2 (en) * 2018-02-23 2021-06-01 Accenture Global Solutions Limited Automated structuring of unstructured data
CN108664403A (zh) * 2018-05-14 2018-10-16 链家网（北京）科技有限公司 一种房产交易流程回归测试方法及装置
US10824541B1 (en) 2018-10-18 2020-11-03 State Farm Mutual Automobile Insurance Company System and method for test data fabrication
CN109828913A (zh) * 2018-12-27 2019-05-31 北京新鼎峰软件科技有限公司 一种测试报告生成方法及装置
US11237802B1 (en) 2020-07-20 2022-02-01 Bank Of America Corporation Architecture diagram analysis tool for software development
CN112015662B (zh) * 2020-09-09 2022-03-15 深圳市通久电子有限公司 视频终端界面菜单功能的自动测试方法、系统及其设备
US11983102B2 (en) 2021-11-19 2024-05-14 Bank Of America Corporation Electronic system for machine learning based anomaly detection in program code
US11537502B1 (en) 2021-11-19 2022-12-27 Bank Of America Corporation Dynamic system for active detection and mitigation of anomalies in program code construction interfaces
US11556444B1 (en) 2021-11-19 2023-01-17 Bank Of America Corporation Electronic system for static program code analysis and detection of architectural flaws

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4648036A (en) * 1985-03-06 1987-03-03 At&T Bell Laboratories Method for controlling query and update processing in a database system
US5218605A (en) * 1990-01-31 1993-06-08 Hewlett-Packard Company Software modules for testing computer hardware and software
US5511185A (en) * 1990-11-27 1996-04-23 Mercury Interactive Corporation System for automatic testing of computer software having output synchronization and capable of responding to asynchronous events
US5600789A (en) * 1992-11-19 1997-02-04 Segue Software, Inc. Automated GUI interface testing
US5664173A (en) * 1995-11-27 1997-09-02 Microsoft Corporation Method and apparatus for generating database queries from a meta-query pattern
US5758062A (en) * 1996-04-30 1998-05-26 Oracle Corporation Method and apparatus for regression testing of application logic
US6016394A (en) * 1997-09-17 2000-01-18 Tenfold Corporation Method and system for database application software creation requiring minimal programming
US6061643A (en) * 1998-07-07 2000-05-09 Tenfold Corporation Method for defining durable data for regression testing

Also Published As

Publication number Publication date
AU2004233548B2 (en) 2007-09-13
EP1772806A3 (de) 2010-05-12
US6301701B1 (en) 2001-10-09
EP1236104B1 (de) 2012-01-11
WO2001035219A1 (en) 2001-05-17
CA2391125C (en) 2012-02-07
EP1236104A1 (de) 2002-09-04
AU776850B2 (en) 2004-09-23
CA2391125A1 (en) 2001-05-17
AU1480401A (en) 2001-06-06
CY1112752T1 (el) 2016-02-10
EP1236104A4 (de) 2006-03-08
AU2004233548A1 (en) 2004-12-23
EP1772806A2 (de) 2007-04-11

Similar Documents

Publication Publication Date Title
ATE541260T1 (de) Verfahren für rechnerunterstütztes testen von softwareanwendungskomponenten
Gatenby et al. Design for X (DFX): key to competitive, profitable products
Rothermel et al. Selecting regression tests for object-oriented software
CN104077140A (zh) 用于持续集成的自动化编译方法和编译装置
ATE197865T1 (de) Verfahren und vorrichtung zum überprüfen einer elektronischen fernsehprogrammübersicht
WO2001090897A3 (en) Methods and apparatus for preventing software modifications from invalidating previously passed integration tests
BR0215083A (pt) editor de seqüência de testes automatizados e motor para testes de transformador
ATE166982T1 (de) Verfahren zur automatischen diagnose von störungsfällen
Polo Usaola et al. Reduction of test suites using mutation
CN103186463B (zh) 确定软件的测试范围的方法和系统
Geiger et al. On the evolution of BPMN 2.0 support and implementation
DE60011142D1 (de) Vorrichtung und verfahren für leistungs- und fehlerdatenanalyse
Beydeda et al. Merging components and testing tools: The self-testing COTS components (STECC) strategy
Lu et al. The refinement of design for manufacture: inclusion of process design
Zeller et al. An industrial roadmap for continuous delivery of software for safety-critical systems
Rahimi et al. Patterns of co-evolution between requirements and source code
CN109491724A (zh) 测试设备的软件通用测试平台对专用测试程序的调用方法
CN105335286B (zh) 一种静态库测试方法及装置
Fluri Assessing changeability by investigating the propagation of change types
FI965010A (fi) Menetelmä ohjelman luomiseksi telekommunikaatiokytkimelle
CN109343878A (zh) 一种代码部署方法
Singh et al. Issues in Testing of Software with NFR
Theurer What comes next
Herrmannsdoerfer et al. Semantics-preserving model migration
Achatz et al. Industrial strength software and quality: software and engineering at Siemens