Relevant bibliographies by topics / Language testing techniques

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Language testing techniques'

Author: Grafiati
Published: 4 June 2021
Last updated: 6 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Language testing techniques.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Language testing techniques"

1

Brown, James Dean, and Nic Underhill. "Testing Spoken Language: A Handbook of Oral Testing Techniques." TESOL Quarterly 23, no. 1 (March 1989): 144. http://dx.doi.org/10.2307/3587522.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

LoRe, Anthony G., and Nic Underhill. "Testing Spoken Language. A Handbook of Oral Testing Techniques." Hispania 71, no. 4 (December 1988): 846. http://dx.doi.org/10.2307/343295.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Caminero, Rosario, and Nic Underhill. "Testing Spoken Language: A Handbook of Oral Testing Techniques." Modern Language Journal 72, no. 3 (1988): 337. http://dx.doi.org/10.2307/327517.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lutovac, Maja, and Dragan Bojic. "Techniques for automated testing of Lola industrial robot language Parser." Telfor Journal 6, no. 1 (2014): 69–74. http://dx.doi.org/10.5937/telfor1401069l.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pareek, Vishal. "Software Testing and Development Techniques using UML (Unified Modeling Language)." International Journal for Research in Applied Science and Engineering Technology 6, no. 4 (April 30, 2018): 4449–54. http://dx.doi.org/10.22214/ijraset.2018.4728.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Clapham, Caroline. "ASSESSMENT AND TESTING." Annual Review of Applied Linguistics 20 (January 2000): 147–61. http://dx.doi.org/10.1017/s0267190500200093.

Full text
Abstract:
In this brief article, I discuss the relationship between language testing and the other sub-disciplines of applied linguistics and also the relationship, as I see it, between testing and assessment. The article starts with a brief exploration of the term ‘applied linguistics’ and then goes on to discuss the role of language testing within this discipline, the relationship between testing and teaching, and the relationship between testing and assessment. The second part of the article mentions some areas of current concern to testers and discusses in more detail recent advances in the areas of performance testing, alternative assessment, and computer assessment. One of my aims in this article is to argue that the skills involved in language testing are necessary not only for those constructing all kinds of language proficiency assessments, but also for those other applied linguists who use tests or other elicitation techniques to help them gather language data for research.
APA, Harvard, Vancouver, ISO, and other styles
7

D’amour Nisa, Putu Prinda. "APPLICATION OF CHINESE LANGUAGE MODULE FOR IMPROVING LANGUAGE SPEAKING SKILLS." BAHTERA : Jurnal Pendidikan Bahasa dan Sastra 18, no. 2 (July 29, 2019): 113–22. http://dx.doi.org/10.21009/bahtera.182.01.

Full text
Abstract:
ABSTRACT This research called classroom action research (CAR) which combined with Chinese teaching material products. The researcher tried to use a Chinese module that was made by himself to improve the ability of students' speaking skills by collaborating with the application of the think pair share technique. Pretest Testing, Cycle 1 Test and Cycle 2 Test use the same test questions by testing 30 vocabulary words which is spoken verbally by each student. In the pre-test 21 students (95%) were ranked D and only 1 student (5%) was ranked C. The percentage of each indirect cycle increased until the final result of cycle 2 was 27% of students still ranked D, 50% of students rated C and 23% of students are rated B. This result is quite satisfying for researchers because Mandarin language skills are quite difficult lessons for beginners especially those who have very little study time but are required to master a lot of pronunciation and vocabulary. Keywords: modules, chinese language, think pair share techniques, speaking skills
APA, Harvard, Vancouver, ISO, and other styles
8

Clark, John L. D., and Ray T. Clifford. "The FSI/ILR/ACTFL Proficiency Scales and Testing Techniques." Studies in Second Language Acquisition 10, no. 2 (June 1988): 129–47. http://dx.doi.org/10.1017/s0272263100007270.

Full text
Abstract:
The major purposes of this article are to briefly describe the rationale and history of development of the “proficiency-based” testing movement in the United States, its current status, and areas in which additional research and development work are recommended to enhance both the psychometric validity and practical value of this approach.
APA, Harvard, Vancouver, ISO, and other styles
9

Wang, Zhe, and Yan Jun Guo. "Research on Automatic Test Techniques of CTCS-2 Level Train Control Center." Advanced Materials Research 1044-1045 (October 2014): 841–45. http://dx.doi.org/10.4028/www.scientific.net/amr.1044-1045.841.

Full text
Abstract:
To address the problem of low efficiency of manual testing of CTCS-2 train control center, an automated testing of train control center script technology was proposed in this paper. This method makes full use of the characteristics of Lua programming language which is simple and efficient and can be embedded in C or C++, The control scripts based on Lua language are used to control the automatic test behavior and the data scripts are used to store data of testing case. By this way, the testing logic separates with the testing data and independent of the automated testing engine, by which greatly improve the scalability and flexibility of the testing platform. Through the use of automated testing of train control center of HengYang-LiuZhou passenger dedicated railway, it proves that this technology can be a good service to automated testing of train control center.
APA, Harvard, Vancouver, ISO, and other styles
10

El-Zawawy, Mohamed A. "Testing Automation of Context-Oriented Programs Using Separation Logic." Applied Computational Intelligence and Soft Computing 2014 (2014): 1–8. http://dx.doi.org/10.1155/2014/930186.

Full text
Abstract:
A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP). This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programming, as implemented in COP languages such as ContextJ*and ContextL, this paper introduces accurate operational semantics. The language model of this paper uses Java concepts and is equipped with layer techniques for activation/deactivation of layer contexts. This paper also presents a logical system for COP programs. This logic is necessary for the automation of testing, developing, and validating of partial correctness specifications for COP programs and is an extension of separation logic. A mathematical soundness proof for the logical system against the proposed operational semantics is presented in the paper.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Language testing techniques"

1

Jönsson, Ida. "Learning and teaching vocabulary in a second language : Testing three distinct techniques." Thesis, Högskolan i Halmstad, Sektionen för lärarutbildning (LUT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-25621.

Full text
Abstract:
The purpose of this essay is to investigate what technique is the most successful one when learning and teaching English vocabulary. Focus is on three distinct techniques: one focusing on writing, one involving pictures, and one that uses the concept of social interaction with tasks and exercises in groups. To achieve results regarding the degree of success for each technique, three different lessons are planned and executed, each lesson designed according to one of the techniques. The pupils that are taught are three classes in year 7 at Östergårdsskolan, Halmstad. The students are given pre-tests, to see how much previous knowledge the students have, and an immediate post-test is also given after the lesson. Three weeks later, the same test is given to find out how much of the information had been transformed into long-term memory. The results from the tests were summarized to see which class had learned the most words, and the results were discussed. Furthermore, interviews were held with four English teachers and 24 students, regarding their attitudes to vocabulary learning. These answers are also analyzed and discussed. After the lessons had been conducted and the results processed, it was obvious that the class that had learned the most words was the class that used the method of writing. The problem was that this class had forgotten the biggest amount of words when looking at the delayed post-test, which leads to the conclusion that the method of writing only helps the information transfer into the short-term memory. When analyzing the delayed post-test, it is visible that the class that remembered the biggest amount of words was the one that used the technique of images. Although they learned the least words during the lesson, they also remembered the most words after three weeks. The conclusion drawn from this is that it is very useful for students to write the words down on paper, even though they already have them in their books. Using another sense, in this case writing, is a great way of transferring information into short-term memory. However, if the goal is for the students to remember the new vocabulary for a long time, the method of using images is the most effective one.
APA, Harvard, Vancouver, ISO, and other styles
2

Le, Duc Long, and n/a. "In search of appropriate language testing techniques for EFL tertiary teachers in Vietnam." University of Canberra. Liberal Studies, 1985. http://erl.canberra.edu.au./public/adt-AUC20060818.160812.

Full text
Abstract:
This Field Study Report concentrates on the appropriate language testing techniques for EFL tertiary teachers in different foreign language institutions and centres in Vietnam. It falls into five chapters. The first chapter is a brief introduction and an overview of the problems with EFL testing and assessment in Vietnam. It describes the need for this study, its general testing terminology. It also describes some general problems, problems with specific testing techniques and problems with testing assessment. The second chapter discusses the role of classroom language testing, the relationship between language teaching and testing and the use of different kinds of tests. In the third chapter, four qualities of a good test and instructions to the testee are considered. After discussing the use of various kinds of tests, the Study Report examines different EFL testing and assessment techniques in chapter IV. This chapter focuses on the pros and cons of major language testing and assessment techniques such as translation, essay writing, oral interviews, multiple-choice items, shortanswer items, cloze tests, dictations, terminal assessment. Critical comments on these techniques are also given. In the final chapter, some practical suggestions and proposals for EFL testing and assessment in Vietnam are made. It is hoped that these suggestions and proposals will help to improve the present language testing situation in Vietnam.
APA, Harvard, Vancouver, ISO, and other styles
3

Mei, Lijun, and 梅立军. "XML-manipulating techniques for the testing and analysis of XML-manipulating services." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2010. http://hub.hku.hk/bib/B45826468.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Van, Heerden Michelle. "Testing the waters: exploring genres in two English classes at a multilingual Cape Flats primary school." Thesis, University of the Western Cape, 2008. http://etd.uwc.ac.za/index.php?module=etd&action=viewtitle&id=gen8Srv25Nme4_2137_1243240686.

Full text
Abstract:

The purpose of this study is to gain an understanding of current writing practices in the intermediate phase at a multilingual primary school on the Cape Flats and then to explore the possible benefits of a genre-based approach in this context. The study focused on the development of learners' writing skills in two Grade Six English classes. The aims of this study are to understand the writing curriculum plan and as practiced by two teachers with different levels of exposure to current approaches to the teaching of writing and different class profiles.

APA, Harvard, Vancouver, ISO, and other styles
5

Romo, Abel Javier. "An English for Specific Purposes Curriculum to Prepare English Learners to Become Nursing Assistants." Diss., CLICK HERE for online access, 2006. http://contentdm.lib.byu.edu/ETD/image/etd1407.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Rinard, Martin C. "Acceptability-Oriented Computing." 2003. http://hdl.handle.net/1721.1/3846.

Full text
Abstract:
We discuss a new approach to the construction of software systems. Instead of attempting to build a system that is as free of errors as possible, the designer instead identifies key properties that the execution must satisfy to be acceptable to its users. Together, these properties define the acceptability envelope of the system: the region that it must stay within to remain acceptable. The developer then augments the system with a layered set of components, each of which enforces one of the acceptability properties. The potential advantages of this approach include more flexible, resilient systems that recover from errors and behave acceptably across a wide range of operating environments, an appropriately prioritized investment of engineering resources, and the ability to productively incorporate unreliable components into the final software system.
Singapore-MIT Alliance (SMA)
APA, Harvard, Vancouver, ISO, and other styles
7

Aboelfotoh, Muhammad. "An Empirical Study of a Language - based Security Testing Technique." Thesis, 2008. http://hdl.handle.net/1974/1499.

Full text
Abstract:
Application layer protocols have become sophisticated to the level that they have become languages in their own right. Security testing of network applications is indisputably an essential task that must be carried out prior to the release of software to the market. Since factors such as time-to-market constraints limit the scope or depth of the testing performed, it is difficult to carry out exhaustive testing prior to the release of the software. As a consequence, flaws may be left undiscovered by the software vendor, which may be discovered by those of malicious intent. We report the results of an empirical study of testing the Distributed Relational Database Architecture (DRDA®) protocol as implemented by the IBM® DB2® Database for Linux®, Unix®, and Windows® product, using a security testing approach, and a framework which implements that approach, that emerged from the joint work of the Royal Military College of Canada and Queen's University of Kingston. The previous version of the framework was used in the past to test the implementations of several network protocols. Compared to DRDA, these protocols are relatively simple, as they possess a much fewer number of structure types, messages and rules. From our study of the DRDA protocol, several omissions in the framework were uncovered, and were implemented as part of this work. In addition, the framework was automated, a preliminary automated test planner was created and a primitive language was created to provide the ability to describe custom-made test plans. Testing revealed two faults in the DB2 server, one of which was unknown to the vendor, prior to the testing that was carried out as part of this thesis work.
Thesis (Master, Computing) -- Queen's University, 2008-09-26 16:31:32.565
APA, Harvard, Vancouver, ISO, and other styles
8

Uzuncaova, Engin. "Efficient specification-based testing using incremental techniques." 2008. http://hdl.handle.net/2152/18266.

Full text
Abstract:
As software systems grow in complexity, the need for efficient automated techniques for design, testing and verification becomes more and more critical. Specification-based testing provides an effective approach for checking the correctness of software in general. Constraint-based analysis using specifications enables checking various rich properties by automating generation of test inputs. However, as specifications get more complex, existing analyses face a scalability problem due to state explosion. This dissertation introduces a novel approach to analyze declarative specifications incrementally; presents a constraint prioritization and partitioning methodology to enable efficient incremental analyses; defines a suite of optimizations to improve the analyses further; introduces a novel approach for testing software product lines; and provides an experimental evaluation that shows the feasibility and scalability of the approach. The key insight behind the incremental technique is declarative slicing, which is a new class of optimizations. The optimizations are inspired by traditional program slicing for imperative languages but are applicable to analyzable declarative languages, in general, and Alloy, in particular. We introduce a novel algorithm for slicing declarative models. Given an Alloy model, our fully automatic tool, Kato, partitions the model into a base slice and a derived slice using constraint prioritization. As opposed to the conventional use of the Alloy Analyzer, where models are analyzed as a whole, we perform analysis incrementally, i.e., using several steps. A satisfying solution to the base slice is systematically extended to generate a solution for the entire model, while unsatisfiability of the base implies unsatisfiability of the entire model. We show how our incremental technique enables different analysis tools and solvers to be used in synergy to further optimize our approach. Compared to the conventional use of the Alloy Analyzer, this means even more overall performance enhancements for solving declarative models. Incremental analyses have a natural application in the software product line domain. A product line is a family of programs built from features that are increments in program functionality. Given properties of features as firstorder logic formulas, we automatically generate test inputs for each product in a product line. We show how to map a formula that specifies a feature into a transformation that defines incremental refinement of test suites. Our experiments using different data structure product lines show that our approach can provide an order of magnitude speed-up over conventional techniques.
text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Language testing techniques"

1

Testing spoken language: A handbook of oral testing techniques. Cambridge [Cambridgeshire]: Cambridge University Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Underhill, Nicholas. Testing spoken language: A handbook of oral testing techniques. Cambridge: Cambridge University Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Miller, Wilma H. Alternative assessment techniques for reading & writing. West Nyack, N.Y: Center for Applied Research in Education, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

How well does your child write?: A step-by-step assessment of your child's writing skills and techniques to develop them. Franklin Lakes, NJ: Career Press, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dicks, Joseph E. Maritime oral communication assessment portfolio (MOCAP): Evaluation techniques for French as a second language. [Halifax, NS]: Maritime Provinces Education Foundation, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Human figure drawings of mildly handicapped students: Learning disabled, mildly mentally retarded, emotionally disturbed, and speech/language impaired. Springfield, Ill., U.S.A: C.C. Thomas, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Diann, Musial, ed. Classroom 2061: Activity-based assessments in science integrated with mathematics and language arts. Arlington Heights, IL: IRI/Skylight, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bratcher, Suzanne. Evaluating children's writing: A handbook of communication choices for classroom teachers. Mahwah, NJ: L. Erlbaum, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

1952-, Ryan Linda, ed. Evaluating children's writing: A handbook of grading choices for classroom teachers. 2nd ed. Mahwah, N.J: L. Erlbaum, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Evaluating children's writing: A handbook of communication choices for classroom teachers. New York: St. Martin's Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Language testing techniques"

1

Roşu, Grigore, and Mahesh Viswanathan. "Testing Extended Regular Language Membership Incrementally by Rewriting." In Rewriting Techniques and Applications, 499–514. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44881-0_35.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Riahi, Imen. "Techniques in Teaching and Testing Vocabulary for Learners of English in an EFL Context." In Second Language Learning and Teaching, 289–309. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-62884-4_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Parnas, Michal, Dana Ron, and Ronitt Rubinfeld. "Testing Parenthesis Languages." In Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques, 261–72. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44666-4_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Farina, Gian Pietro, Stephen Chong, and Marco Gaboardi. "Coupled Relational Symbolic Execution for Differential Privacy." In Programming Languages and Systems, 207–33. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_8.

Full text
Abstract:
AbstractDifferential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based on a judicious use of randomness. However, reasoning about randomized programs is difficult and error prone. For this reason, several techniques have been recently proposed to support designer in proving programs differentially private or in finding violations to it.In this work we propose a technique based on symbolic execution for reasoning about differential privacy. Symbolic execution is a classic technique used for testing, counterexample generation and to prove absence of bugs. Here we use symbolic execution to support these tasks specifically for differential privacy. To achieve this goal, we design a relational symbolic execution technique which supports reasoning about probabilistic coupling, a formal notion that has been shown useful to structure proofs of differential privacy. We show how our technique can be used to both verify and find violations to differential privacy.
APA, Harvard, Vancouver, ISO, and other styles
5

Goldhirsh, Yonatan, and Michael Viderman. "Testing Membership in Counter Automaton Languages." In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 543–58. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40328-6_38.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Padhiyar, Sumit, and K. C. Sivaramakrishnan. "ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs." In Practical Aspects of Declarative Languages, 127–44. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67438-0_8.

Full text
Abstract:
AbstractBug-free concurrent programs are hard to write due to non-determinism arising out of concurrency and program inputs. Since concurrency bugs typically manifest under specific inputs and thread schedules, conventional testing methodologies for concurrent programs like stress testing and random testing, which explore random schedules, have a strong chance of missing buggy schedules.In this paper, we introduce a novel technique that combines property-based testing with mutation-based, grey box fuzzer, applied to event-driven OCaml programs. We have implemented this technique in , a directed concurrency bug-finding tool for event-driven OCaml programs. Using , programmers specify high-level program properties as assertions in the concurrent program. uses the popular greybox fuzzer AFL to generate inputs as well as concurrent schedules to maximise the likelihood of finding new schedules and paths in the program so as to make the assertion fail. does not require any modification to the concurrent program, which is free to perform arbitrary I/O operations. Our experimental results show that is easy-to-use, effective, detects concurrency bugs faster than Node.Fz - a random fuzzer for event-driven JavaScript programs, and is able to reproduce known concurrency bugs in widely used OCaml libraries.
APA, Harvard, Vancouver, ISO, and other styles
7

Broy, Manfred, Wolfgang Böhm, and Bernhard Rumpe. "Advanced Systems Engineering." In Model-Based Engineering of Collaborative Embedded Systems, 353–64. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-62136-0_19.

Full text
Abstract:
AbstractAdvanced systems engineering (ASE) is a new paradigm for agile, efficient, evolutionary, and quality-aware development of complex cyber-physical systems using modern digital technologies and tools. ASE is essentially enabled by smart digital modeling tools for specifying, modeling, testing, simulating, and analyzing the system under development embedded in a coherent and consistent methodology.The German Federal Ministry of Education and Research (BMBF) projects SPES2020, SPES_XT, and CrESt offer such a methodology and framework for model-based systems engineering (MBSE). The framework provides a comprehensive methodology for MBSE that is independent of tools and modeling languages. The framework also offers a comprehensive set of concrete modeling techniques and activities that build on a formal, mathematical foundation. The SPES framework is based on four principles that are of paramount importance: (1) Functional as well as non-functional requirements fully modeled and understood at system level. (2) Consistent consideration of interfaces at each system level. (3) Decomposition of systems into subsystems and their interfaces. (4) Models for a variety of cross-sectional topics (e.g., variability, safety, dynamics).
APA, Harvard, Vancouver, ISO, and other styles
8

"Common test techniques." In Testing for Language Teachers, 75–82. Cambridge University Press, 2002. http://dx.doi.org/10.1017/cbo9780511732980.009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"Common test techniques." In Testing for Language Teachers, 78–86. 3rd ed. Cambridge University Press, 2020. http://dx.doi.org/10.1017/9781009024723.008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Žitko, Branko. "Overlay Method in Testing Knowledge by Natural Language Dialogue." In Intelligent Tutoring Systems in E-Learning Environments, 187–207. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61692-008-1.ch010.

Full text
Abstract:
Irrespective how domain knowledge is well formalized, and irrespective of applying appropriate pedagogical techniques in Intelligent tutoring system, learning and teaching process can seem complex because of unfamiliar communication with computer tutor. Using even simplest NLP techniques makes benefits in computer‘s usage, not only in e-learning domain. Natural language generation is basic technique which can make learning and teaching process much more adaptable to the student. Presenting formal knowledge by natural language sentences, as well as testing in a form of dialogue are aims to be accomplished in new Intelligent Tutoring System based on Tutor-Expert System model. In making previous system more acceptable to the student, our first step is to perform natural language generation with Croatian localization for formalized domain knowledge following by problem generation and dialog based guidance to the problem solution.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Language testing techniques"

1

Hashish, Nabil, and Leonardo Bottaci. "Language Constructs for Generalising Unit Tests: Research Proposal." In 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques. IEEE, 2009. http://dx.doi.org/10.1109/taicpart.2009.29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Binkley, David, Henry Feild, Dawn Lawrie, and Maurizio Pighin. "Software Fault Prediction using Language Processing." In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007). IEEE, 2007. http://dx.doi.org/10.1109/taic.part.2007.10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Binkley, David, Henry Feild, Dawn Lawrie, and Maurizio Pighin. "Software Fault Prediction using Language Processing." In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007). IEEE, 2007. http://dx.doi.org/10.1109/taicpart.2007.4344105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jia, Yue, and Mark Harman. "MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language." In Industrial Conference - Practice and Research Techniques (TAIC PART). IEEE, 2008. http://dx.doi.org/10.1109/taic-part.2008.18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Felipe Kraus, Luiz, Bruno Schafaschek, and Samuel Da Silva Feitosa. "Desenvolvimento de um Gerador de Programas Aleatórios em Java." In Computer on the Beach. São José: Universidade do Vale do Itajaí, 2021. http://dx.doi.org/10.14210/cotb.v12.p485-487.

Full text
Abstract:
With great advances in the computer science area where technologicalsystems are becoming more and more complex, tests are hardto perform. The problem is even more serious in critical systems,such as flight control or nuclear systems, where an error can causecatastrophic damage in our society. Currently, two techniques areoften used for software validation: testing and software verification.This project aims the testing area, generating random programs tobe used as input to property-based tests, in order to detect errorsin systems and libraries, minimizing the possibility of errors. Morespecifically, Java programs will be automatically generated from existentclasses and interfaces, considering all syntactic and semanticconstraints of the language.
APA, Harvard, Vancouver, ISO, and other styles
6

Westcott, John C., and Lawrence A. Penna. "Degradation in Turbo Machinery." In ASME 2008 Power Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/power2008-60077.

Full text
Abstract:
Gas turbines and steam turbines start to degrade in performance when they first start running. This paper lists the causes of degradation, describes how to monitor degradation, and suggests techniques for minimizing degradation. This paper also suggests how degradation can be handled in contract language for acceptance testing. Lastly, this paper explores a special case, often misunderstood, namely how boiler operation needs to be accounted for when evaluating the effect of degradation (the loss factor) of an HP turbine in a reheat cycle.
APA, Harvard, Vancouver, ISO, and other styles
7

Ruggiero, T. "Realignment of ASME Operations Maintenance Committee: Improving Responsiveness and Efficiency." In ASME/NRC 2017 13th Pump and Valve Symposium. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/pvs2017-3533.

Full text
Abstract:
The O&M Code was developed when it was decided to move Pump and Valve Inservice Testing (IST) Requirements from the American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel (B&PV) Code, Section XI to a standalone Code. The Code review process structure at the time was quite small and generally consisted of changing Section XI Subsections IWP and IWV into OM language. At the same time, new testing techniques were being developed that included check valve condition monitoring and current trace testing of motor actuated valves. This necessitated adding groups that were specific to these new initiatives. Although that was several decades ago, these groups remained and, over the years, it was identified that actions, such as Inquiries, were taking much too long to process. This became abundantly clear with the development of the newly published Mandatory Appendix IV for Air Operated Valve Testing. This paper discusses how the Code Committee became the organization that it is and how a new realignment will streamline the Code process and make it more efficient and responsive to the industry/regulatory needs. Paper published with permission.
APA, Harvard, Vancouver, ISO, and other styles
8

Liu, Jian, Leyang Cui, Hanmeng Liu, Dandan Huang, Yile Wang, and Yue Zhang. "LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/501.

Full text
Abstract:
Machine reading is a fundamental task for testing the capability of natural language understand- ing, which is closely related to human cognition in many aspects. With the rising of deep learning techniques, algorithmic models rival human performances on simple QA, and thus increasingly challenging machine reading datasets have been proposed. Though various challenges such as evidence integration and commonsense knowledge have been integrated, one of the fundamental capabilities in human reading, namely logical reasoning, is not fully investigated. We build a comprehensive dataset, named LogiQA, which is sourced from expert-written questions for testing human Logical reasoning. It consists of 8,678 QA instances, covering multiple types of deductive reasoning. Results show that state-of-the-art neural models perform by far worse than human ceiling. Our dataset can also serve as a benchmark for reinvestigating logical AI under the deep learning NLP setting. The dataset is freely available at https://github.com/lgw863/LogiQA-dataset.
APA, Harvard, Vancouver, ISO, and other styles
9

Hartmann, Tobias. "Model Based Testing of End-to-End Chains Using Domain Specific Languages." In 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques. IEEE, 2009. http://dx.doi.org/10.1109/taicpart.2009.25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

AboElFotoh, Muhammad, Thomas Dean, and Ryan Mayor. "An empirical evaluation of a language-based security testing technique." In the 2009 Conference of the Center for Advanced Studies. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1723028.1723043.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Language testing techniques' for particular source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography