Filters








1,412,782 Hits in 3.8 sec

Participant Observation and Phased Assertion as Research Strategies in the Canadian Arctic

Peter Collings
2009 Field Methods  
Furthermore, establishment of these abilities allows for the use of phased assertion as an interview probe.  ...  Phased assertion works not only as a data collection technique, it reinforces communicative competence and improves informant rapport.  ...  Once such competence is on display and informants are willing to open up, phased assertion as a probing technique is very effective as a method for encouraging informants to provide information about a  ... 
doi:10.1177/1525822x08330260 fatcat:x5ouznqr3zbrdeygth3d54t7su

Chinese Colonists Assert Their "Common Human Rights": Cosmopolitanism as Subject and Method of History

Marilyn Lake
2010 Journal of World History  
Chinese Colonists Assert Their " Common Human Rights " : Cosmopolitanism as Subject and Method of Histor y marilyn lake La Trobe University Human Rights History and Eurocentrism In the last few years  ...  emphasize their high civilization and in particular, in this context, Japan's excellent educational and literacy standards: "In Japanese schools and other educational establishments, the most approved methods  ...  suggest that it was the decades of Chinese and Japanese lobbying and protest-and the simultaneous growth of anticolonial and nationalist movements-that transformed the meaning of human rights from an assertion  ... 
doi:10.1353/jwh.2010.0011 fatcat:qtj4a7em7bc6fl7wf3yuimqqma

Socio-psychological training as a method of forming assertive behavior in adolescents
Социально-психологический тренинг как метод формирования ассертивного поведения у подростков

Alexey Yu. Gorokhov, Yuriy V. Makarov
2019 Psychology in Education  
The paper focuses on the use of psychological training as a method of developing assertiveness in adolescents. The theoretical basis for this study was found in the ideas of L. Vygotsky, T.  ...  Важнейший психологический процесс юношеского воз раста -становление самосознания Socio-psychological training as a method of forming assertive behavior in adolescents A. Yu. Gorokhov 1 , Y. V.  ... 
doi:10.33910/2686-9527-2019-1-1-91-96 fatcat:dh7md3foyrgefilzdvv3ys3ama

Effective recommendations for writing essays

E Mamaraimova
2022 Zamonaviy lingvistik tadqiqotlar: xorijiy tajribalar, istiqbolli izlanishlar va tillarni o'qitishning innovatsion usullari  
The subject of this article is the actual problem of modern methodology: the use of modern effective methods and new pedagogical technologies in teaching essays in English  ...  Thesis: Pick your best idea and pin it down in a clear assertion that you can write your entire essay around.  ...  As well as all parts of teaching, writing is being considered as most important of educating foreign language.  ... 
doi:10.47689/linguistic-research-vol-iss1-pp250-251 fatcat:vtwjwt6gmfbgxiagvhiptcs4ha

Assert Use and Defectiveness in Industrial Code

Steve Counsell, Tracy Hall, Thomas Shippey, David Bowes, Amjed Tahir, Stephen MacDonell
2017 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)  
Methods with just a single assert appear to be different in terms of their link with defects than methods with multiple asserts.  ...  Finally, method size seemed to correlate strongly with asserts, but surprisingly less so when we excluded methods with just one assert.  ...  One question that arises from the preceding analysis is whether a single assert in a method is as "effective" as one with many asserts in a method (i.e., >1).  ... 
doi:10.1109/issrew.2017.20 dblp:conf/issre/CounsellHSBTM17 fatcat:ikcshoqfk5hile6l4lyfbnwhyy

Design and implementation of assertions for the common language infrastructure

N. Tran, C. Mingins, D. Abramson
2003 IEE Proceedings - Software  
Their design is flexible and powerful in that it treats assertions as first class constructs in both the binary format and in the run-time while leaving the source level specification choices completely  ...  Traditionally, assertions are typically specific to individual programming languages.  ...  Firstly, the system walks the typing hierarchy as necessary to collect all relevant assertion methods.  ... 
doi:10.1049/ip-sen:20030988 fatcat:2yf26xuzkvdvvjllhwpefxwoba

Revisiting Assert Use in GitHub Projects

Pavneet Singh Kochhar, David Lo
2017 Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering - EASE'17  
We collect metrics such as number of asserts, number of defects, number of developers and number of lines changed to a method, and examine the relationship between asserts and defect occurrence.  ...  We nd that asserts have a small yet signi cant relationship with defect occurrence and developers who have added asserts to methods o en have higher ownership of and experience with the methods than developers  ...  #Bug x Commits Total 29,867 With Asserts 741 Table 2 : 2 Hurdle model comparing number of bug xing commits in a method (as dependent variable) with number of asserts in the method (as independent  ... 
doi:10.1145/3084226.3084259 dblp:conf/ease/KochharL17 fatcat:tpoqm6hm7vcgrnspsl4l54hp5a

Aspect-oriented modularization of assertion crosscutting objects

T. Ishio, T. Kamiya, S. Kusumoto, K. Inoue
2005 12th Asia-Pacific Software Engineering Conference (APSEC'05)  
Therefore, we propose to modularize such assertion as an aspect in order to improve software maintainability.  ...  In this paper, taking Observer pattern as an example, we point out that some assertions tend to be croscutting, and propose a modulalization of such assertion with aspectoriented language.  ...  assert(true) → do nothing assert(false) → throw a runtime exception Preconditions and postconditions of a method are regarded as assert statements inserted into the beginning of the method and the end  ... 
doi:10.1109/apsec.2005.43 dblp:conf/apsec/IshioKIK05 fatcat:ylihioaw45ghbda2jsyoqtzeqq

Appendix to "Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)"

Yutaka Nagashima
2020 Zenodo  
Our simple data format allows machine learning practitioners to try machine learning tools to predict proof methods in Isabelle/HOL without requiring domain expertise in logic.  ...  In this data description, we present a simple dataset that contains data on over 400k proof method applications along with over 100 extracted features for each in a format that can be processed easily  ...  This assertion checks if the first sub-goal involves OFCLASS when printed as a string. This assertion may be useful to recommend proof methods that are good at instantiation proofs. 43.  ... 
doi:10.5281/zenodo.3839416 fatcat:wlv65j3eybcn3kdubvogebigim

On Learning Meaningful Assert Statements for Unit Test Cases [article]

Cody Watson, Michele Tufano, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk
2020 arXiv   pre-print
Given a test method and a focal method (i.e.,the main method under test), Atlas can predict a meaningful assert statement to assess the correctness of the focal method.  ...  Therefore, we employ a Neural Machine Translation (NMT) based approach called Atlas(AuTomatic Learning of Assert Statements) to automatically generate meaningful assert statements for test methods.  ...  In these cases, we consider the method call within the assertion parameters as the focal method.  ... 
arXiv:2002.05800v1 fatcat:65bh4wn2tzcs5iw57ahsaokspe

Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers [article]

Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Neel Sundaresan
2020 arXiv   pre-print
We also show the substantial impact of the pretraining process on the performances of our model, as well as comparing it with assert auto-completion task.  ...  Finally, we finetune this model on the task of generating assert statements for unit tests. The resulting model is able to generate accurate assert statements for a given method under test.  ...  Our models can generate common assert statements as well as complex ones involving method calls, parameters, and unusual variables.  ... 
arXiv:2009.05634v1 fatcat:6zhchy5ni5dlbkmiqmbt6tfdjy

Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking [chapter]

Tao Xie
2006 Lecture Notes in Computer Science  
On executed observer methods (public methods with non-void returns), Orstra also creates assertions for asserting their return values.  ...  A test oracle is often in the form of executable assertions such as in the JUnit testing framework.  ...  If an equals method is defined as a public method of the class under test, Orstra can also alternatively use the equals method for building the assertion.  ... 
doi:10.1007/11785477_23 fatcat:qzohwtolbvexna3thwzarig5bi

Design by Contract Using Meta-Assertions

Isabel Nunes
2002 Journal of Object Technology  
Contract writing for methods in classes that are clients of other classes can bring undesirable effects, like the increasing in class coupling and encapsulation decreasing.  ...  DESIGN BY CONTRACT USING META-ASSERTIONS 38  ...  result from function Cond which, as explained, returns the complete assertion of the method (that is, if the method is redefining one of its ascendants, its assertions already reflect ascendant assertions  ... 
doi:10.5381/jot.2002.1.3.a3 fatcat:fvsn73mf2re3loyfx3uf3qibgu

Generating accurate assert statements for unit test cases using pretrained transformers

Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Neel Sundaresan
2022 Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test  
Finally, we finetune this model on the task of generating assert statements for unit tests. The resulting model is able to generate accurate assert statements for a given method under test.  ...  We also show the substantial impact of the pretraining process on the performances of our model, as well as comparing it with assert auto-completion task.  ...  Our models can generate common assert statements as well as complex ones involving method calls, parameters, and unusual variables.  ... 
doi:10.1145/3524481.3527220 fatcat:wsndfzas2ndqpn7nzw3fvewfmq

Assert Use in GitHub Projects

Casey Casalnuovo, Prem Devanbu, Abilio Oliveira, Vladimir Filkov, Baishakhi Ray
2015 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering  
This indicates that asserts do play an important role in software quality; we therefore explored further the factors that play a role in assertion placement: specifically, process factors (such as developer  ...  We focus on this latter claim, and use a large dataset of asserts in C and C++ programs to explore the connection between asserts and defect occurrence.  ...  Thus, here, we model total defects in methods as a function of total asserts, with size and developer count as controls.  ... 
doi:10.1109/icse.2015.88 dblp:conf/icse/CasalnuovoDOFR15 fatcat:4lelm56n5vdwlns2mzvdbooo7e
« Previous Showing results 1 — 15 out of 1,412,782 results